Use github `@` handle instead of inferred name in generated docs

[masih]

I am curious as to why we use the soft inferred name of contributors instead of @ username, which would turn into a pretty link. My vote would be to consistently use the @ across all docs if we want to mention someone.