Add reference to the table of contents in JupyterLab in the introduction notebook
Compare changes
GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
This does not close #113 (closed): we have to also get rid of all table of contents in notebooks.
However it is better to remove them once all the others MR have been handled.