The app-specific specs are currently a part of the Lino book. But they should become part of the app's docs. All docs files might be in the book repository, and the book would have many doctrees.

The auto-generated code API must remain in one central place, otherwise I don't see how to resolve dependencies.