Hi Tobias, About 2 years ago, you reported a bug to the Debian BTS regarding the menu key generating keycode 7 instead of 117. Did you reproduce this problem recently? If not, I will close this bug in the next weeks. Thanks, Brice