[Pharo-dev] Minor glitch in source code diff tool