Interesting, informative article that raises some good points.<p>I've always been leery of holidays that celebrate, even if superficially, single individuals. If anything, this shows the danger of doing so. I'd prefer formally recognized holidays be something attached to an idea or value, or something that arises from grassroots origins over a long period of time. So, for example, Thanksgiving or Juneteenth, but not MLK day, Presidents' Day, or Columbus day.<p>FWIW, I like the idea of eliminating Columbus Day (or another day) and replacing it with an election day holiday. Seems more functionally appropriate, and to place value on something actually critical.