Shorten links to HTML spec, even if just a little.