Add "deprecated in" comments to deprecated pragmas