Hehe -- glad you figured it out 🙂
No clue why npm is sometimes serving old versions of our themes...
Does it annually do anything? Does the user show up multiple times in the group list or anything?
It doesn't get saved which is good. So only the admin panel has this "bug", where you can add the same user multiple times, but it gets removed once you save the group and reload your tab. So nothing critical.