@NathanielProf @DisabledStem @ChronInvisSTEM Converting to HTML is the best thing to do. PDF is really only good for print. There are loads of tools that will do it automatically. Pandoc and PlasTeX are two.