a thoughtful web.
Good ideas and conversation. No ads, no tracking.   Login or Take a Tour!
comment
rob05c  ·  3067 days ago  ·  link  ·    ·  parent  ·  post: The Bugski Thread

Not a bug, and IMO shouldn't be made a feature. Usernames themselves are case-sensitive. So `MK` is a different user than `mk`.