Since we can't use symlinks or redirects in github project pages, manually add redirects to several of our old pages.