Not random. Her GitHub username is “type”, so “@type” tags her.
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
replies:
Not random. Her GitHub username is “type”, so “@type” tags her.