"Toggle case sensitivity" key inconsistency #289
Description
The manpage states that "Toggle case sensitivity" is bound to Ctrl+</kbd> while in reality it's bound to just <kbd>. I would submit a PR but I don't know which one is desirable.
{{ message }}