Ubuntu 20.04 LTS optimizes the real-time performance of Gnome Shell