PHP renderer generator: do not call htmlspecialchars() on $node->nodeName or $node->localName