Re: [GHC] #13012: ApiAnnotations comments are not machine checked