Update and rename html-example.html to html4.01-tags-test-case.html