Nor does it allow you to import them with mixed case via HR Import.

It's not a problem as we've decided to just work with it as it is. I did find a TL from as far back as 2017  where the goal was to leave mixed case as it was so that authentication with external systems would continue to work.