[PD-dev] 'extensions' section in CVS