5.14.1. Why are HTML tags printed verbatim, even by the html weaver?

Weavers are _supposed_ to print all printable characters literally. So tagged text such as <EM>tagged</EM> is printed exactly as you wrote it.