lxr.php.net is down for years, and apparently nobody is willing to
bring it back. Therefore, I have updated the OpenGrok links on the
Website to point to https://heap.space, which works fine.
Would somebody please shut down the lxr subdomain completely.