alvaro@social.graves.cl 6 months ago
@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).
alvaro@social.graves.cl 6 months ago
@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).