some quick but incomplete fies to the github greasemonkey integration