JS console script/bookmarklet to add a header to Github pull request changes page showing the filename of the current file - View it on GitHub