Toggle files in GitHub pull-request bookmarklet | Hacker News Reader