In Lotus Domino 8.5, you find that user rename and user delete fails to update group membership, except in the case where the renamed or deleted user is also listed in the LocalAdmin field for the group. A  fix (DominoServer_85IF1_ … ) for this issue is available on Fix Central.