How do I convert escaped HTML into a string?

[Marc 'BlackJack' Rintsch]

On Sat, 24 Nov 2007 05:42:06 +0000, Just Another Victim of the Ambient
Morality wrote:

>     ...since HTML seems to convert any amount and type of whitespace into a 
> single space (a bizarre design choice if I've ever seen one).

Not really.  Just imagine how web pages would look like if whitespace is
preserved.  What matters is the actual text in the source, not the
formatting.  That's left to the browser.

Ciao,
	Marc 'BlackJack' Rintsch