We have deleted a user from nds. When we list users in ifolder3 manager, he
still appears.

How do we get rid of him?