Please expand on the reasons these particular examples are useful/necessary. I'm having no-response-to-button-click problems with GitHub; it's not immediately obvious to me whether key-kill is relevant to this (seems unlikely). -- PhilHudson 2013-06-15 10:49:11