• @[email protected]
      link
      fedilink
      2
      edit-2
      23 hours ago

      Hmm you’re right. I didnt notice so far, nor was it brought up as an issue.

      You can activate case sensitivity since Win 10 or so.