Deleting several users at once now offers the Google delete option