[PATCH 4/5] server: Introduce a new get_user_atom_name request.