Another likely-to-be-common bug in Rawhide: Incredible Shrinking GNOME Terminals are back