Proposal: new doc module in the CVS repository

Hi,
we currently have in the CVS repository two directories for Maxima
related books: doc/maximabook and doc/tutorial. This second one has
already five subdirectories for different languages.
Those directories are not included in the source tarball, but a
developer who gets the code from the CVS repository will get a copy of
them.
I'd like to add more manuals and more languages, but I propose putting
them in a separate module of the repository; namely, in a
directory /doc, rather than maxima/doc. That way, programmers and
translators could use different cvs commands:

cvs -z3 -d:pserver:anonymous at maxima.cvs.sourceforge.net:/cvsroot/maxima
co -P maxima

cvs -z3 -d:pserver:anonymous at maxima.cvs.sourceforge.net:/cvsroot/maxima
co -P doc

That would also allow the project admins to grant CVS access with two
different privileges: developer (write access to maxima/) and documenter
(write access to doc/).

Does anyone have any objection to the creation of the doc module? and
any objection to moving maximabook and tutorial to that module?

Regards,
Jaime