Puppet manifests to manage badllama.com servers