[Pharo-dev] Pharo 5 and retina displays in 2017?