I claim credit for the use of MIME in HTTP, which turned out to be a mixed blessing. This would be a straightforward extension to URI fragment identifiers. The Web is about Knowledge Exchange, not just Broadcasting. A big imagemap is a crime. Rich information representation promotes exchange.
Formal systems are cool.
This is what got me into HTML in the first place. We need some good tools for collaborative development and distribution of specs. Downloadable software should be digitally signed .