Adds a button to let you toggle real names vs.
usernames in GitHub.
- Offered by ForbesLindesay
- Average rating : 3.36 stars (it was okay)
GitHub Real Names web extension integrated with the OffiDocs Chromium online