Should GitHub show real name of verified users?

Ask HN: should GitHub show real name of verified users? In light of the "XZ Utils backdoor case".