A user script to display repo counts when browsing Github repository pages.