Use local bugfixed version of external toc plugin

.circleci/config.yml

@@ -66,6 +66,7 @@ commands:
             python3 -m venv .python-env
             source .python-env/bin/activate
             python -m pip install -r requirements.txt
+            python -m pip install sphinx_external_toc-0.3.1-py3-none-any.whl
           EOF
 
 jobs:

.envrc

@@ -12,6 +12,7 @@ source $pyenv/bin/activate
 PATH_add $pyenv/bin
 
 python -m pip install -r requirements.txt
+python -m pip install sphinx_external_toc-0.3.1-py3-none-any.whl
 
 [[ -f .envrc.private ]] && source_env .envrc.private
 

requirements.txt

@@ -1,5 +1,4 @@
 Sphinx==4.3.1
 sphinx-autobuild==2021.3.14
 sphinx-copybutton==0.5.1
-sphinx_external_toc==0.3.1
 sphinxext-remoteliteralinclude==0.4.0