This is a very nice example of a literate programming document. It would be amazing if we could adopt this nice ergonomic two-column display style in source files in text editors.

It would be nice if it were clearer how to download the plaintext.