html-mode/html5: remove unnecessary tags.