Searching in docs/DefiningDialects