Note that non-ASCII input characters are not (yet) used as commands.