Searching in doc-tools