Searching in docs/development/verification