I love how the post basically concludes with: "This problem has been known since 1968, which is detailed in this paper written by Ken Thompson".
Incredible write up. Really appreciate the detail, and am really impressed by how mature their response coordination seems to be.