[GHC] #13521: Remove comments about API annotations