WIKI-875: [integ-wiki] HTML encoding of comments