While I realize those pings are being automatically added by settings that you turned on for some reason, it’s long been proper tagging etiquette to untag people from replies so as not to clog others’ notifications with extra pings. I didn’t bring up this point, so it’s not that relevant to make sure I know how you responded to it.

Saying this in the spirit of making you aware in case you aren’t, so everyone has happier interactions in the future!