2.3.1rc1 seems to have indeed squished the "stuck modifiers" bug that was bugging me. I am getting a few occasional weird log entries, though, including: DarwinPressModifierKey bad keycode: key=1469159 DarwinPressModifierKey bad keycode: key=1469153 Any idea what this is, and/or whether it matters?