[Pharo-users] Exporting Pillar docs (Pillar7)