Since Satan is a matter of opinion & faith, not fact, I would oppose a ban on that name. After all I am the censorship fighter when I'm not eliminating terrorists. There are few names are beyond reproach & have no place in the civilized society. Hitler is a prime example. The only thing that name does is draw outrage & disgust. Manson, though stupid-never actually DID anything. Hey, how about the Menendez Bros, there's a couple of winners & somebody I'd like my friends & family to emulate.
Some usernames are ONLY used to create hate-that's where the line should be drawn.