Searching in tools/verify_docs