Does anyone sort mail at post office during holidays?

I was told by a lady at the post office that even though they don't deliver mail on Martin Luther Kind day, they still come in to sort the mails. So I'm not sure if it's the same with all the other holidays or not... I would believe it is.