@Gargron Just tell it to the people around you, some kind soul will be willing to type it in, I guess… unless the terminal is already voice-activated.