Currently the documentation is manually written (due to issues with getting autodoc working in combination with time-pressure), but this creates a decent amount of overhead if there's a major change in the API.
autodoc would make it much easier to maintain the documentation.
Currently the documentation is manually written (due to issues with getting
autodocworking in combination with time-pressure), but this creates a decent amount of overhead if there's a major change in the API.autodocwould make it much easier to maintain the documentation.