Closed philippfromme closed 7 months ago
Closes #1001
Looks good. I added two minor suggestions (let's remove cloud where we can).
cloud
Changed the naming. Those cloud and platform names are going to haunt us for a long time.
platform
Closes #1001