there are some things named after some people, who discovered/invented these things. at some point later sometimes people discover some unpleasant things about these inventors/etc. should we stop calling these things after those people after discovering such facts?
please see follow up post, i can't fit within this char limit >.<
i can think of both pros and cons of such exclusion, but i think even if the person who made something other people use, did terrible things, still naming their things after them is not necessarily accepting their bad behaviour. it's more like remembering something good about these people.