https://blog.oppedahl.com/december-24-and-25-are-holidays-at-the-uspto/