A collection of userscripts specific to Github