More editor tweaks, plus HTML and Markdown rendering.