Good decisions, focusing on example and tutorials is definitely the way to go for this 3-years old doc. And building it as part of CI is definitely good practice. It will also allow to store each tofu version with its corresponding doc
This is where it gets tricky. I see how having the full history of docs could be interesting in the long term, but since I'm not familiar with how to do this, I would suggest that in the short term we just keep one version of the documentation: the most up to date one.
_(underscore) to the apidoc ? All our files in
geomstart with an underscore so they are all being ignored, which kind of kills the automatic aspect