Hey, for everybody who is annoyed by the recent trend of shrinking terminals in rawhide: I've just pushed a fixed for vte3 through koji. Matthias