Re: [Pharo-dev] Highlighting with pillar (html)