I checked through https://www.puppet.com/docs/pe/2023.1/puppetfile.html#specify_installation_paths_for_repositories and I knew the option to install a module into a different directory. But I thought there's also an option to only install a subdir from a module, bu I cannot find that option