The original post specifies guy, so the parent commentor used guy. They added gal in an attempt to be more inclusive, presumably.

I sympathize with your position but you come across as looking for things to be offended about when you criticize reasonable language choice.

When you complain about innocuous things like this, you weaken your argument.

Guy or gal is fine.

Fair enough. I'd edit my post, but it's too late now.