HTML is and always was a compilation target – can we deal with this?

This post isn't about HTML as a compilation target 'cause it isn't one. The OP is arguing that HTML needs to be semantic language. There are numerous problems with that which have been addressed by many others and are still unsolved. Compilation isn't the solution.