Stefan Monnier writes: >> The question is, should eventp continue returning non-nil for these >> events of the form (nil . COMMAND)? > > I don't think we need to consider them as events. > More specifically, recent-keys uses this representation for the > execution of a command because it expects that no event would have such > a shape. OK, then how's the following?