gh-pages: add redirect pages for old URLs