I hadn't really thought about it. I have a solo 401k, but SO is a W2 employee who hasn't been much interested in learning about the extra contributions.
However, clicking around the interwebz, as I am wont to do, I read something that implied that some employers match the post tax contributions as well. If this is at all a thing, SO is more likely to look into it, as it would be a 10% match.
I only know that they allow post tax contributions because it was a suggested use of their bonus in the open enrollment materials they mail out. It was a short paragraph with a pretty picture, so no details, no mention of in service rollovers.