That’s fair. I have nothing against changing the name of the holiday, and nothing against taking down statutes of Columbus the individual.
See also this topic
~Max