Re: F7 to F8 upgrade - gnome-terminal font not so sharp now