Note that we don't listen to `goog.events.EventType.MOUSEOUT` anyway ...