File content search

The File Search tab is no longer in Settings: file search is now a separate section of the sidebar. Its settings are described in File search settings, and the search itself in File search.