Instructions for docs

First install jupytext:

pip3 install jupytext

To sync the different forms of the notebooks, cd to this directory and

make sync-notebooks