Note that we use jupytext to synchronize with a markdown file; if we edit the markdown file, be sure to run jupyterlab with jupytext enabled to get the actual notebook synchronized before committing. ...