Update cross-references into HTML.

Fixes <https://www.w3.org/Bugs/Public/show_bug.cgi?id=26395>.