INSTALL: refer to python3-sphinx