[exikyut]

Yikes. What happened to the HDMI port, out of curiosity?

And I presume macOS? If Linux, X11 can do some interesting hacks with scaling and panning. (`xrandr --output ____ --scale` and `xrandr --output ____ --panning`)