new text and fiddling with pretty-printing of html