So I've got both plugins. I had been using MS User Management to do, well, what it does: to add new users across the network with a designated role.
I've added User Synchronization, specifically, to sync changing user roles across the network, plus to update other metadata.
So is there any reason to require both plugins? Or might I delete MS User Management now?