Better HTML encoding of titles and bodies