We don't really have a "ban" as such, see my recent handbook change here with more discussion: https://gitlab.com/gitlab-com/www-gitlab-com/merge_requests/...

But even before that it just seemed like a "guideline" to me rather than a strict "rule" that was actively enforced, and it was introduced years ago before we had a proper Code of Conduct in place.