I recently upgraded from Ubuntu 18.04 to 20.04. I use the Gnome desktop. I believe in 18.04, Gnome Tweaks tool would increase the font size of text under desktop icons. That does not appear to be the...