Thanks for linking! His description of Dijkstra in that comment reminds me a lot of my few interactions with Doug Comer.