I work on a Jupyter Lab Notebook with the TOC (Table of Contents) extension installed (https://github.com/jupyterlab/jupyterlab-toc), which works great!
However I want to export this notebook on various formats (html, pdf...) so I need the TOC to be generated or inserted in a cell. But unfortunately I can't find how to do this.
Is there a command line or a trick to do so?
EDIT: This feature is not implemented yet, however if you use the extensions for jupyter notebook, it works! Having to switch from a jupyter to another is a bit annoying, but at least the job is done!