This reverts commit a577944a. Will be replaced by new options for the old commands "search" and "find".
Attach a file by drag & drop or click to upload
