decoding XML-ified special chars such as " (Correction)

[Christopher]

Whoops,  sorry, I read the email wrong at first.  The escape function
makes the " strings.  Sorry.  I am working on something else (but
I am going to test it first this time...)

Chris