This adds the documentation for `view.searchText` from JS in KTextEditor added there in frameworks/ktexteditor!394.