0.1.2: Switch from userscripts.org to github