How does this substitution, which in theory strips the domain and route portion of the email address, fair

I think you already answered your own question:

Note that this substitution does not handle RFC822 addresses which contains elements beyond the local_part@domain atoms

So, you tell us. For which (subset of RFC822?) email addresses does your regexp work?

Abigail