Board Thread:Wiki General Discussion/@comment-25407271-20161218203919/@comment-27022259-20161219024308

Depends on the context/severity, but if it's quite severe, then I would ban them. The level of severity is, of course, at the moderator's discretion.