If the point is that the users name was turned into something else, yeah, I think that's a bit too far. Turning someones name is very highschool bully. Even if you're going to be condasendingcondescending and even rude, you shouldn't belittle someonessomeone's name (especially if it's a "real" name, not a screen name, but the same still applies).