Don't projects using Nix modules typically list all the available options in their documentation? For example, https://nix-community.github.io/home-manager/opt

Don't projects using Nix modules typically list all the available options in their documentation? For example, https://nix-community.github.io/home-manager/options.xhtml https://nix-community.github.io/home-manager/options.xhtml I find it good practice to actually read the modules though. So personally, I think grepping is fine.