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