The patch in https://bugs.webkit.org/show_bug.cgi?id=173152 fixes repaint glitches when scrolling on systems with non-integral device scale factors. The patch repaints the dirty region, which is suboptimal. This should be fixed.