Some users have reported scaling-related issues on very high resolution (4k) displays -- particularly under GNOME-based desktop environments and Windows 10. These issues should be investigated further and addressed, if possible.