Re: [GHC] #4268: Annotation extension needs a flag