Re: [GHC] #13839: GHCi warnings do not respect the default module header