{"library":"sphinx-external-toc","install":[{"cmd":"pip install sphinx-external-toc","imports":["extensions = [\n    'sphinx_external_toc',\n    # Other extensions...\n]"]}]}