* Remove {update,remove}-userids functions, since we decided they
weren't useful enough to be worth maintaining.
* Better handling of unknown users in server update-users
* Remove {update,remove}-userids functions, since we decided they
weren't useful enough to be worth maintaining.
* Better handling of unknown users in server update-users