PDF to Cheat Sheet HTML

Converts a cheat sheet PDF to HTML that keeps the original fonts and layout, and that the Cheat Sheet Editor can open and edit.

The page is rendered by the PDF's own engine, so the diagrams, colours and fonts are the original's. Every line of text is a real, selectable span in the PDF's embedded font. The file also carries an embedded sitm-document, which is what the editor reads when you open it.