Searching in tests/rustdoc-html/source-code-pages