pypi/pyo3-stub-generation-mixed