[saalweachter]

... is "Robin" a pseudonymous reference to "Robin Hood"?

[shagie]

Robin is one of the gender neutral names that doesn't expose any information or bias beyond the reader's.

I've often used "Pat" as a name for a person where I don't want to imply one gender or another.