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 fil

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.