Chatter protection for input devices

Kodi should enable users to compensate for electric chatter of their input devices.

Motivation:
I’m using a mele F10 deluxe for two years now and the OK button started to exhibit an electric chatter malfunction.
So when clicking a YouTube video, two play requests are send to Kodi.
These do interfere and typically lead to both being aborted.
This is pretty annoying.

I thought about adding a new setting named Settings > Input > Minimum key hit delay: 100 ms
If the same key is pressed within this period, then that key press will be ignored.
A setting of 0 ms would thus disable the new feature.
Users with malfunctioning devices can increase the threshold until the problem disappears.

I volunteer to implement this for Kodi 18.0 and started this post to collect comments and related ideas.