Re: [GHC] #13521: Remove comments about API annotations