I know this more in line with Etiquette (which is only a proposal), but it's been bugging me for a while, and I'd like some clarification.
When referring to others on this site (and many others, including forums, chat rooms, etc.) sometimes, online handles of users may not reveal gender. For example, taking user @Robusto, if I were to never click on his profile page, how would I refer to .....yeah.
If I'd like to reference @Robusto somehow (pretend I'm thanking @Robusto for @Robusto editing my question)
"Thanks to @Robusto for editing my question, he really helped me out."
or
"Thanks to @Robusto for editing my question, she really helped me out."
or
"Thanks to @Robusto for editing my question, they really helped me out."
or
"Thanks to @Robusto for editing my question, it really helped me out."
What do I do in this case?