minor optimizations in HTML5 converter
add option to set htmlsyntax in converter