https://marketplace.digitalocean.com/vendors/getting-started-as-a-digitalocean-marketplace-vendor#place-a-branded-create-button-on-your-site code-server is now on the digital ocean marketplace.
