Old code comment: "NB: HN usernames are cAsE SensiTivE"

4 points mankins | 2 comments | 16 Oct 25 11:34 UTC | HN request time: 0.419s | source

In 10+ year old code I saw this comment that said HN usernames are case sensitive. It doesn't look like this is true anymore, thankfully. Can anyone confirm?
1. al_borland ◴[17 Oct 25 21:31 UTC] No.45622332[source]▶
https://news.ycombinator.com/user?id=mankinS

and

https://news.ycombinator.com/user?id=mankinas

Both lead to your profile. I suspect if they were case sensitive this wouldn’t be the case.