[atomic-wg] PR #504: remove _ari_ from list of people to ping