htmltext now fixed for standard input

The new htmltext was fixed to handle standard input so may as well use
it.