[PD-dev] large documentation files on svn..