Greasemonkey script for GitHub user pages. Pushes repos that haven't been edited in a month to the bottom of the page.
