[williamstein]

We also provide a nice easy to install Docker image of Cocalc here: https://github.com/sagemathinc/cocalc-docker