I hope Pharo developers find time to fix this. HiDPI and variable DPIs are way too common and it does put users off to work with fuzzy/tiny UIs.