Remove commented-out obsolete links in HTML header.