Those were originally part of the GaaP (Government as a Platform) programme. The PaaS is explicitly just the Cloud Foundry-based deployment platform.