Crikey seeing this in context really brings home the triviality of this whole thing. The only reason somebody would be offended by this would be if they knew wh

Crikey seeing this in context really brings home the triviality of this whole thing. The only reason somebody would be offended by this would be if they knew what it meant in the first place - it's plausible that it's accidental. Yes there is a case for making the change but in doing so you're acknowledging that it was a mistake in the first place (because an observer attributed it as such) and you're setting a precedent - are you going to have to attend to every prude that objects to anything? Anybody who is smart enough to read code should be smart enough to see this for what it is. IMHO if this guy mounted a campaign on this issue banning was appropriate if a little heavy handed. A subtle talking to might be better but raising a bug is a matter of record, and that makes things a little trickier.