https://blog.oppedahl.com/december-25-is-a-holiday-at-the-uspto/