Re: [GHC] #13718: diagnostic colors: differentiate between message head and message body