Is there an HTML version of n1256.pdf (ISO C99+TC3), or a recommended way to convert it to html or another less-painful format for browsing? All of the pdf converters I've tried have given very poor results, especially in failing to convert the "fi" ligatures to something more easily searchable, but also just with respect to basic formatting.
Here is the original for reference:
pdftotext
,pdftohtml
, etc. with fairly poor results, including both ligature issues and symbols turning into random meaningless PUA characters. I suppose a lot of this could be fixed with a script tailored to postprocess the output, so perhaps I should revise my question to ask for such a script... :-) - R.. GitHub STOP HELPING ICE