Add/remove static users in bulk rather than group by group.
Our principal is a static user on dozens of our push page distribution groups. She is retiring, so we will have to go into each group, see if she's there, and then delete her one-by-one. It would be a lot easier to be able to look up her name and ...