On that topic: HTML versions of Elektron's manuals?
But beware, the result might be even worse than what we have now, e.g.
https://docs.pioneerdj.com/Manuals/TORAIZ_SQUID_DRI1560A_manual/?page=18
This manual is basically just jpegs of the PDF pages, shown in a janky, in-browser e-reader, but without the basic functionality you’d get in a proper PDF reader! It’s pretty bad. You can’t select text, you can’t add highlights or annotations, you can’t even control how much you zoom in (the zoom levels seem to be none or TOO MUCH).