In reply to Vince.

And yet we've needed nice, fancy ways of doing formatting for years. Simple things such as pasting code is a problem. These are not easily solved by having a "dumb" editor. Making the editor smarter and making it produce the output you want is really the only solution.