While there have been clipboard bugs, we've never used those keystrokes in the UI. However, GTK2 did have a way to let users change the menu shortcuts by hoveri

While there have been clipboard bugs, we've never used those keystrokes in the UI. However, GTK2 did have a way to let users change the menu shortcuts by hovering over the menu item and hitting a new keystroke and I suspect that's what happened here.