There is no consensus at nowiki on use of this bot, it has not been raised, and the name as such has neither been discussed either. My comment on the name is solely my opinion. I'm not interested in whether it is a pun or not, it has a clear and direct connection to a disease that has killed people and I don't like it.
So you are "not interested", and you "don't like it". And the world has thus to change to accommodate your likes.
Are we actually discussing to change the name of my tool here? Because that's not going to happen. You can go name your own tool. Claiming to be offended does not mean it's offensive; it just means you're whiny.