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