Who’s ready for some holiday cheer? Christmas has been a federal holiday since 1870, so we’re pretty accustomed to having a couple of days off to spend with family and…