Avoid adding real names when the user is using a real name #2165

This isn't useful:

<img width="381" src="https://user-images.githubusercontent.com/1402241/59960378-3f861f00-94fa-11e9-81ac-3f51135ef877.png">

I'd rather see this:

<img width="272" alt="" src="https://user-images.githubusercontent.com/1402241/59960403-76f4cb80-94fa-11e9-9a69-0613b978b5c7.png">

Feature: show-names

If name matches username
    replace username with name (to keep capitalization)

• Either we drop the space altogether (so in this case there won't be any changes for these users, but there would be for sindresorhus, which would become SindreSorhus), or
• we replace it with <span style="margin-left:0.2em"/> so it won't break copy-pasting.

Example URL: https://github.com/microsoft/TypeScript/issues/30442#ref-pullrequest-433925264