5.14.2. OK, so how do I put HTML into a document?

If you want to write specialised HTML and put it into a document, there are several ways to do it.