der alte Benutzername wird nicht automatisch gelöscht... es könnte ja immer sein, dass in einem entlegenen Winkel Deiner Domino- Welt noch ein Dokument liegt, dass im Leserfeld noch den alten Namen hat (weil z.B. der Administrationsserver nicht in der ACL eingetragen ist).
Wenn Dich das stört: Dann lösch einfach den alten Namen irgendwann manuell raus... Mit der Gefahr, dass der Benutzer irgendwann kommt und sagt: "Plötzlich habe ich keinen Zugriff mehr auf Datenbank XY oder Dokument ABC".
Problem: Meist kommen die Mitarbeiter erst nach 1-2 Jahren oder so, so dass Du Dich nicht mehr unbedingt dran erinnerst (oder Dein Nachfolger es gar nicht weiss), dass Du vor laaanger Zeit da mal was rausgelöscht hat...
Und meistens sagt der Benutzer dann noch so was zielführendes wie "Aber vor kurzem hat das noch funktioniert...."....
Wenn es also nur eine "Kosmetische" Sache ist: Lass es einfach so, wie es ist....
Tode