Are user names case sensitive?

They appear to be - why? Hasn't it been best practice for some decades now that user names should be case insensitive?

This is the result of a decision made some time ago. I'll add it to my list to revisit in the future.

Thanks.