Modified version of code-server (https://github.com/cdr/code-server) for the Orca workshop