html reader: small tweaks to string escaping.
html reader: small tweaks to string escaping.

tst2005/lunamark,simoncozens/lunamark,simoncozens/lunamark,jgm/lunamark,jgm/lunamark,tst2005/lunamark,jgm/lunamark,simoncozens/lunamark,tst2005/lunamark