Really? Seems scary, but it may be worth risking a house of cards to get better hotkey behavior.