Re: [GHC] #10917: Provide a utility to check API Annotations