html.snippets: improve #! snippet.