Put back in the filter option for the terminal window. Better than ever.