Fixes #5514: rename search to filter
Merge pull request #633 from VinceMacBuche/bug_5514/rename_filter

Fixes #5514: rename search to filter