Also: this self-deleted user’s single post (which got deleted too) was 10 months old.
Shouldn’t this user’s self-deletion have been prevented by this setting?: