I actually like Gnome Shell, but as soon as my computer is under moderate load, everything becomes laggy, including my mouse. This is a known issue, but the dev

I actually like Gnome Shell, but as soon as my computer is under moderate load, everything becomes laggy, including my mouse. This is a known issue, but the devs are not planning on fixing it until Gnome 4 (years from now)? Granted, this only happens under Wayland, but I have a hidpi display on my laptop and Xorg doesn't support a different dpi for external monitors. So I'd much prefer to be able to use Wayland.