Re: Shrinking terminals in rawhide