Terminal

Terminal

Type to filter, then press Enter. Every command below is an ordinary link, so this works whether or not the filter is running.