I've tried approximating "Virtual Super Resolution" with xrandr and use 200% scaling to get rid of the slowdown, which would have worked if GNOME didn't keep tight grips on screen resolution/framebuffer size -- my manual changes reverted as soon as I got to the display preference panel.