That said, I think we need to come up with a way to handle the common situations in Oklahoma (with a focus on not using problematic names for some days).  And I'm onboard with the idea that the concept of "public holiday" and "school holiday" is too much of a minefield to even attempt within the federal district of Oklahoma for the same reason that shorthanding speed limits with zone limits like "US:OK:Urban" just plain doesn't work (I did the math on that one some years ago, while Oklahoma does acknowledge that speed zones are a thing, between every jurisdiction that has the authority to set blanket speed zones, there's about 80,000 permutations of what that might even mean).

Effectively, I'm really into defining things explicitly and leaving notes/sources to describe how one arrived at that specific interpretation and would be happy if floating days like Thanksgiving and Cherokee's National Holiday or any day that gets rounded to a specific Monday/Thursday/Friday of the month had consistent shorthands.

