some technical rambling
@modulux Yep, that's pretty much the kind of issue I suspected, though in more detail than I knew of - thanks!
This is probably caused by PDFs being more vector images (with exact letter positioning) than text documents... which is unfortunately also exactly why people love using them, because they automatically match pixel-perfectly whatever the generating app would display natively :(
I've been thinking off-and-on for a while about how the format could be improved to fix these issues, but so far I've not gotten any further than "include a semantic and a visual version separately"...
some technical rambling
@joepie91 @modulux PDF is a useful format for sheet music (exported from #MuseScore)
@joepie91 Lots, but the major ones: recovery of spacing is unreliable (often words appear to be together, or with random spacing in between letters), formatting is not semantic so no navigation by headings and such, mathematical content is unrecoverable as text, footnotes are not easily navigable.