El usuario eliminado sigue apareciendo en la pantalla de inicio del sistema

Yo tuve el mismo problema y lo solucioné así:

Terminal abierto.

sudo fdesetup list

Esto listará los nombres de usuario y uuids de los usuarios que FileVault conoce (advertencia: No tengo claros los detalles exactos de los privilegios otorgados por este archivo).

sudo fdesetup remove -uuid [bad UUID]

Esto eliminará al usuario erróneo de la lista. Por alguna razón tuve que reiniciar el ordenador dos veces para ver el comportamiento deseado (es decir, la única persona a la que se le pide que inicie sesión en el arranque del sistema soy yo), pero ahora funciona bien.

Si por alguna razón necesitas averiguar los UUID de los usuarios (los nombres de usuario deberían estar en ese archivo, aunque mi usuario eliminado tenía (null) por nombre de usuario),

dsmemberutil getuuid -U [username]

le proporcionará sus UUID.