Searching in third_party/dotnet/devtools