Better compact search filters

This is a simpler continuation of #378.