I do all of my editing of the pages on eclipse.org (including editing articles for Eclipse Corner) using Eclipse Web Tools. I personally don’t mind looking at HTML, and the HTML editor provided with Web Tools is top-notch (a lot of the content on eclipse.org is represented in XML, which...