G github.com Greasemonkey script to revert GitHub dark navbar 3 points Dissori 9 years ago 0 comments