We will ban you if you insult, demean or harass anyone. That is not welcome behavior. This is distinctly different than ribbing or grilling someone.

Moderators are held to a higher standard than other community members. If a moderator creates an inappropriate situation, they should expect less leeway than others.

From a regular user, I'd just pass this by as "ribbing" per the code of conduct, but you're not just a regular user.