Preserving old GitHub Pages URLs while migrating a repo | Hacker News Reader