4 ms·

Thanks, it's interesting but I use shell scripting on Android and need to type the pipe characters and so on fairly quickly.