Comment by mkl

Do you really think Donald Knuth [1] and Leslie Lamport [2] are non-programmers?

[1] https://en.wikipedia.org/wiki/Donald_Knuth

[2] https://en.wikipedia.org/wiki/Leslie_Lamport