terminal UTF-8: check_kbd_label_key() allows non-ASCII characters again.