docs process (was CVS Mirror)