export tests: add test for superG, G and Themes as HTML.