[#47864113] Rename `names_for_ids` to `users_for_ids`

- API name change.