I found this discussion Add many users to a group , I followed the instructions and it worked, so it’s done!