This is a test suite for HTML5RE