Re: #3676: please unblock ghc-utf8-string for f13