Toggle files in GitHub pull-request bookmarklet | Heykuki News