greasemonkey: add github-username script for auto-login/logout