On Mon, Sep 14, 2015 at 5:34 PM John Erling Blad <jeblad(a)gmail.com> wrote:
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.