The "Doldrums"?
You're right. It's a LONG time in between federal holidays. I normally take vacation days here and there to get in a few three-day weekends. Too bad Martin Luther King, Jr. couldn't have been born in March or April. His birthday is too close to the other holidays.