Is there a way to export an html with a table of contents (html_toc) using jupyter lab desktop where the table of contents is fixed on the side of the document, like in previous jupyter notebook instances (and like it is within jupyter lab desktop now as a core feature)?
Many thanks.