[Ur] XHTML character entities

[Adam Chlipala]

James Parker wrote:
> Sorry for taking so long to get back to you. Yes, it now parses and 
> compiles "©". The only thing is Firefox 8 (OS X 10.7) adds an 
> extra character before the copyright symbol. I have attached a screenshot.

Weird.  Works fine in Chrome and Opera.  Right now, I'm compiling the 
character entities into normal UTF-8, but perhaps it's necessary to 
output them as character entities.  I'll look into it soon.  Thanks for 
the bug report!