WordPressers on GitHub wot Pascal Birchler

Show WordPress.org profiles for users on GitHub. Adds WordPress.org profile badges for users on GitHub, making it very easy to find WordPress contributors on WordPress.org if they use different usernames on the two platforms.