add-glossary-label
use-local-python3-doc-for-cross-references
