Super cool that @puppetize just deleted all of the Puppet 4 apt repos over night.