Again, HTML escaping in a text document?