Deleted user address appears in email log

In reviewing the email log, I noticed that we would appear to be emailing an address that doesn’t have a user:

Research elsewhere shows that this was a recently self-deleted user. These log entries do predate the deletion – but there are no similar entries for other deleted users.

Just wondering how things work: does user deletion normally remove such traces?

This makes it sound like “yes”…