Ludovic Courtès writes: > I would lean towards keeping it separate, so that it’s an optional > feature (given that it relies on downloading an external database). I was leaning towards downloading the database with "guix pull", so that the "filesearch" subcommand would not download anything. In this case, we can have "guix search --file...", no? -- Pierre Neidhardt https://ambrevar.xyz/