Is GitHub Pull Request page copy broken? | Hacker News Reader