This function is somewhat provisional. In particular, it is hard to check everything, because our hypertext format includes some entities of class IntermediateMarkUpType that don't correspond directly to HTML. Either those will have to be eliminated, or a more-final type of hypertext, convertible immediately to HTML, will have to be developed.