I was wrong. gnome-shell 3.35 does not yet have sufficient fixes for this. If anything the performance is now worse with 3.35.
I was wrong. gnome-shell 3.35 does not yet have sufficient fixes for this. If anything the performance is now worse with 3.35.