Systematic API documentation improvement #111
Description
There are a fair number of places where we have no docstrings in .pyi files. Go through and systematically:
- work out what is in the formal API
- if it's in the formal API, document it properly
{{ message }}