- [Table Of Contents — JupyterLab 3.3.3 documentation](https://jupyterlab.readthedocs.io/en/stable/user/toc.html) - [Table of Contents (2) — jupyter_contrib_nbextensions 0.5.0 documentation](https://jupyter-contrib-nbextensions.readthedocs.io/en/latest/nbextensions/toc2/README.html) Do they work for the HTML export, though?
Do they work for the HTML export, though?