So as far as I can tell, this does not seem to be a general problem in all kinds of setups. It might be only in HiDPI scenarios, or even only with that particular hardware. That makes this pretty difficult to debug for us.