Comment by scosman
Do you think that should be an option? I totally get opting out of crawlers, search or training but this is different.
But should the author be able to opt out of a tool used for manually initiated queries? I can’t say “don’t use grep” on my repo.
Grep is a tool. This is a service.