Comment by tripdout

I think you’ve misread my comment, I’m saying that thock does indeed work as a filter in the search bar!