Searching in tests/coverage-run-rustdoc/auxiliary