I was not sure where to report this Bug. https://wiki.ubuntu.com/Hotkeys/Troubleshooting says:
3 c) if the keycode itself is wrong, this is a bug in xkeyboard-config.
10) If the events are reported by more than one input device then report a kernel bug (Ubuntu linux package) because it should only send the event on one device.
I was not sure where to report this Bug. /wiki.ubuntu. com/Hotkeys/ Troubleshooting says:
https:/
3 c) if the keycode itself is wrong, this is a bug in xkeyboard-config.
10) If the events are reported by more than one input device then report a kernel bug (Ubuntu linux package) because it should only send the event on one device.
I have choosen the first, sorry if this is wrong.