Greasemonkey plugin for github issues