- change his/her user name (and thereby invite Isis back)
I disagree here. I think his username is perfectly valid, and Cock clearly explains his stance on his page, quite humorously even. If it drives other people away, that's unfortunate, but these people would likely be driven away by other "offensive" content on Wikipedia which we want to preserve. I could see a much stronger argument made about removing the goatse.cx link from the goatse.cx article, for example.
If soft security doesn't work here, it's because you do not have enough community support for your desire to get him to change his nick.
- stop being so literal and obstinate on the "Hitler has only..." page
(where everynoe so far disagrees with TMC's interpretation of the principles of copyright)
I agree here. Do not judge TMC because of his behavior on that page alone, though. He has made quite a few perfectly valid contributions, and in this matter, he simply disagrees with the majority, and has presented arguments to make his case. I think these arguments are wrong, but hard security would not get us anywhere.
This is an edit conflict where I think voting would be an appropriate conflict resolution mechanism. First, however, we should try restoring the original version after waiting for a few days.
Regards,
Erik