Yet another reason to be glad I'm out of the US:
BTW, if you add "Christian Religious Holidays" and change the settings for your national holidays to simply "public holidays" (and not "public and other holidays" you can rid of the extraneous BS like "gay pride month", "national mayonnaise day", and the like)
Thank you. I’ll check my settings.