Ah, if they’ve been manually deactivated then that would indeed remove them from the Ignore user lookup for admins as well.
But from that user’s admin page they could briefly Activate Account again and that would allow them to find the user in the Ignore user lookup on your preference page, and they could then Deactivate the account straight afterwards. Would that be a possibility?