I very much agree. HTML is generally more accessible, lighter-weight, and it is very easy to produce automatically assuming the source is markdown or something.
Look what happens when you copy and paste directly out of the PDF!
Or if I paste into a text editor first, it at least preserves...