I installed 18.04 from 17.04 (passing briefly through 17.10, didn't test it and jumped to 18.04) and I am experiencing a high cpu usage on gnome-shell, it takes almost all available CPU time: $ to...