>From a Ubuntu developer. I'm glad they are contributing. Longish. <https://discourse.ubuntu.com/t/boosting-the-real-time-performance-of-gnome-shell-3-34-in-ubuntu-19-10/13095/13>