Searching in clippy_dev/src/setup