Export to HTML: Added some tests to the HTML export