Manpages of src:sphinx-external-toc in Debian experimental