So if you have a law on the books governing how to treat lunatics, or how lunatics should be treated, it's a dumb old law because there's no official test for lunatic. It would be just as stupid if you had laws about the "wacky" or the "nuts."
The overwrought nature of the concern about seeing the word as the name of a piece of software is just a symptom of the current zeitgeist.
[1] https://www.bbc.co.uk/iplayer/episode/p0dhrlhm/the-reith-lec...
It is the right question. If a term once considered offensive no longer is one, and there's no one who gets offended by it, is it still offensive?
> With the whole English language to pick from there are probably better choices that are less ambiguous.
Given infinite time and finite language, every term will become offensive. What then? Especially considering the euphemism treadmill https://en.wikipedia.org/wiki/Euphemism#Lifespan