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 then select groups to add or remove her.