Couldn't we simply add a "convert HTML entities to characters" pass to the docgen stuff? I don't think we need to render the text of a character reference anywhere