This should be available on the web site - I'm not sure that is what you are referring to when you mention putting it in CVS.
Yes, of course, this is the intention. It's only maintained in the CVS.
Joerg
This should be available on the web site - I'm not sure that is what you are referring to when you mention putting it in CVS.