Not a bad deal, thats for sure.
Took 20 some years of applying to get into fed as employee. 4 hrs of sick leVe earned each pay period (26 per year), start of 4 hours of pro per period, I get six hours due to prior military service that counts towards years of service, 10 holidays plus anything additional such as the Bush funeral and now Christmas eve. So yeah, some decent time off is a great benefit after being a contractor for 25 years and I will spend the next 15 to 20 years as federal employee most likely until retirement.
I worked in the Federal government for 36 years and every time Christmas fell on a Tuesday we got Monday off and when it fell on Thursday, we’d get Friday off.