Re: [IMP-dev] [IMP-commits] r770 - trunk/doc