GUI now has a 'render as:' option that lets you render the HTML output in any of the supported notation systems