We have these options although the 4x10 is generally not encouraged.
I do the second option over the summer with every other Wednesday off. That’s been a great day to take the kids to the water park or do whatever we want. I’ll probably revert back to straight 8’s in October, mostly so I can get some daylight every day. I could just take a slightly longer lunch, which is an option I’m considering.
Currently telework 3 days/week and I have never been denied a day off when I ask. I currently get 156 regular leave hours to take each year plus 104 medical hours, and I generally get another 24 hours comp leave added between January-March (my busy season). I keep my medical but that’s still 180 hours / 20 days plus federal holidays to take.