Set all anonymized user names to common "deleted user"

I expect the answer is yes but I only see API documentation for anonymizing users, not merging them, so I will go with probably. For merging there may be existing topics about it or there is this: