use-local-python3-doc-for-cross-references
