New API: HTML.unformatted for omitting line breaks and indentation
around tags, fixes #3