My laptop's keyboard is aging and is starting to emit double keypresses for some keys when I hit them once. Is there a way for KM to capture all double keystrokes typed faster than some short interval and emit just one? If you actually wanted two, you would just type them a bit slower.
The best I can imagine so far is to make something like the below separately for every problematic key.
Perhapss there's a macOS solution to the problem. (See? <<<)