Shift release generating wrong code when both Shifts are held down

[RenaissanceBug]

When both Shift keys are held down, releasing one produces a key-event% for which get-key-code produces 'shift or 'rshift, not 'release. This is causing client code (e.g. 2htdp/universe) to misidentify the release as a keypress.