Attempt to fix Github mangled bookmarklet url by running it through the bookmarklet creator at http://mrcoles.com/bookmarklet/