No .pyi stubs included in package
It would likely go a very long way to offer auto-completion and quick docs for python developers.
Is the documentation at https://lazka.github.io/pgi-docs/ auto-generated? Can it be dumped into a structured form that can be used as input to another script that generates python stubs?
Is there any recent discussion on the best way to accomplish this?