Huh I still use apt-puppetcore.puppet.com with my license key and got the new files just now – puppet agent and bolt. I highly expect something similar as a PE customer if you move that over eventually.