Abolish the HTML renderer.

To recover its code, see the tag old-html-renderer.