@nostupidquestions@lemmy.world For posterity, I found that https://github.com/pdf2htmlEX/pdf2htmlEX does an excellent job converting to HTML (although the file size increases a lot).