Re: [Pharo-dev] Reducing the cost of documentation