ToolCodeToHtml: info texts are checked to be valid HTML as well