I don't think it's meant as a nitpick but more of a "hey, you may not know this but here's a helpful thing". The comment seems to have been both worded and received in that positive way and that's a great thing if you ask me :)

Or use he or she instead. But yeah, they or he or she is most neutral.