The “formal end”, therefore would be May 11, 2023, and if one day a politician wants to make a new holiday for Americans to celebrate, that would probably be the date it’s pegged to. This is the date that all other rules were removed, and formally reverted to “full normal”.