Export a notebook

To export a notebook as a .ipynb file, right-click on the notebook in the file tree (in the right-hand sidebar menu) and click 'Download'.