In the context of the opening post, the person to be banned is (in my opinion) a spammer, and as such Mark Fletcher/Groups.io admin should? perhaps be consulted - they may well have an opinion, or feel the need to do something, or the ability to do so.
Jeremy
