Небольшое уточнение:

Термин «пользователь» нужно оставить в тех случаях, когда


1. Идет речь о юридических соглашениях между Stack Exchange и участником. В смысле этих соглашений мы четко определены как «пользователи» сайта, этот термин закреплен в документах.

1. «Пользователь» означает не человека, участвующего в сообществе, а его учетную запись. Насколько я понимаю, все эти строки относятся к инструментам модератора (я выбрал их специально, они мне очень понравились)

    > * (515) Удаление пользователя $id$
    > * (518) Не удается удалить пользователя
    > * (519) Уничтожение пользователя $id$


  Строки, которые видны малому числу пользователей, например только модераторам, стоит вообще оставить в покое. Существенного улучшения для большой массы пользователей их правки не принесут. А еще этих строк много, очень много.