Disponible desde el mismo día en que apareció la nueva versión 8.5, ya hay un parche para el servidor Domino. El problema es importante y afecta al renombrado de usuarios mediante el proceso de administración ( adminp ).
Para descargarlo, en Fix Central.