Restore the classic 2013-era GitHub interface — dashboard, repos, profiles, issues, pull requests — in light and dark themes.
