Revert the GitHub dark header | Hacker News Reader