“how to turn off mouse keys” - the setting makes 7 8 9 U I O J K l M not work anymore, which is funny because enough people turn it on that google autocomplete understands