2022.03.21 17:55:40 (1505951287354920965) from Daniel J. Bernstein:
Notes on getting copy and paste of spacing from a PDF to work well enough for Python script -> verbatim in pdflatex/lualatex/xelatex -> PDF -> Firefox -> Python script: https://cr.yp.to/2022/20220321/verbatimfile.tex Sample PDF: https://cr.yp.to/papers/goppadecoding-20220320.pdf#label-rs-algorithm Still more work to do to support other PDF readers.