Re: [PATCH 16/24] menu: Factor out menu-keypress decoding