Documentation is still in CVS?