These pages contain links to pages that are being removed from the
repository. (Their redirects have timed out.) Update the links so
everything continues to work.