I’m glad, especially because it will irritate some people.
I doubt it will ever become a paid holiday for me. No paid MLK, Prez, Columbus, or Vets Day in my company. We do, however, get paid holidays on Good Friday and your “birthday,” which can be taken any time in the year.