For most of my career, instead of days off for “lesser” federal holidays, my employer has given us the week off between Christmas and New Year’s Day. Depending on when the holidays fall, I usually add days of vacation time to either end — both if possible. Most years, the holiday vacation is my longest break from the…