How to do things on https://cocalc.com - View it on GitHub