Puppet-managed files and manifests used to maintain server configuration