Fixes #5514: rename search to filter