See https://github.com/puppetlabs/ci-job-configs/wiki/Removing-Platform(s)-From-puppet-agent#11-update-public-facing-puppet-docs