[gwern]

Very nice. May I make a suggestion? Add a metadata field for the use of red (ie. rubrication https://gwern.net/red ), which is a core technique of this kind of printing, I think, but not typically noted.