we don't need to update users after WikiUser::setBadnessScore()