If b), how do I see puppet modules in Library? And if I have no access to the repository (aka the product) that contains the puppet module, should I be seeing the puppet modules?