I simply scale the external display using xrandr --scale 2x2 (or similar, you can specify fractions).
Works way better than expected and I use it ten hours a day. At some point, Wayland solves this natively, but in the meantime this is an acceptable workaround.
Works way better than expected and I use it ten hours a day. At some point, Wayland solves this natively, but in the meantime this is an acceptable workaround.