You don't have to give all the context to the children. And if they're not already old enough to understand what "anal" means, you can just say it's a butt joke (or maybe just leave them to their ignorant innocence, they can just believe it's a made up name for a time). If they are old enough, I'm afraid avoiding the word is going to save them.
"Lube" is used in non-sexual context. You can escape the puritan "inappropriateness" by referring to mechanics.
Also, how about replacing all sexual names by something else? A little sed script should be enough, right?
In practice, modern teenagers are going to go to the love wiki to find libraries and documentation, that's the main place to find it. There is no point me giving them an incompatible variant, which won't let them take their programs home.
Also, it's easy to say "oh kids, just tell them it's a joke", but in today's society, that is the kind of thing which could easily get one fired. If just one library was named sexually, it would be easy to say "oh, you are misreading that", but the pattern is obvious.
The problem here is that even if the teacher does as you say, guess what will happen when the parents hear about it. If you guessed, "be really, really mad at the teacher and yell at the school administration", congrats, you win.
Agreed -- and have seen it in action. It only takes a few vocal outraged parents to incite a riot, and shut everything down. Or get the teacher suspended.
It's illogical, but emotion often trumps logic and rationality.
"Lube" is used in non-sexual context. You can escape the puritan "inappropriateness" by referring to mechanics.
Also, how about replacing all sexual names by something else? A little sed script should be enough, right?