A browser plug-in that adds a user activity button to the github user page to jump to the user activity information page