Auto Deselect to show in User Pickers when user has no access or is on the Deny List.

They may turn red but they will not become unknown unless the user is deactivated/deleted. Record ownership and user field association is bound to that user - which is independent of any one application or realm. Therefore removing the from the app will not affect how their name displays beyond just the color so you know that user can't access anymore.