Re: #5624: unblock ghc-text from rawhide