b5fc21b9f4
This reverts commit a577944ab5.
Will be replaced by new options for the old commands "search" and
"find".