Include PyPI installation in the docs