For moderator stuff like this, pinging champs is fine. That rule is there so people don't ping cloudflare employees or champs for support questions