[Crito]

So perhaps like ribbing people in a tongue-in-cheek fashion for using the "wrong" text editor?

I think that sort of thing is fine and generally accepted, provided you don't become hurtful or vicious with it.