[Raphael]

This is surprising to learn, since I am using nvidia-driver-435 and fractional scaling (150%) on one monitor.