This is actually rather clever. I'm not sure banning it really is a good idea, as it doesn't leave people choice (even if they are gov. agencies/employees), though.
TBH, this is exactly what off topic is for. I think as long as we're not insulting each other or things like that, everything is basically ok here.
hahaha! thats funny! . Texas should so do that since they have a lot of trouble pronouncing names and try to ban Windows Vista. Would our world go round without them?