Changes to PlanetLab Manager SE.