Re: [GHC] #14685: Pragma to reset language extensions in module header