Thanks!!
Ok I finally managed to trigger the bug as well :)
It also depends on the order in which the two buttons are pressed. I always pressed the menu button first, and then left/right. But I can now reproduce it if I first hold down “left” and then add the menu button. Weird. I’ll have a look.
