A user script to display some additional info below the repository filter on a user's main GitHub page.