Re: [GHC] #12206: No exposed API to get full text of ErrMsg