Hello Jim,
Thanks for the information. Just to reconfirm, SmarterMail would not recognize or detect the changes automatically based upon the modifications made to Active Directory names. You would need to update the user directly in SmarterMail in order for the account details to update. You may follow the steps outlined in the article or choose to import the users again but keep in mind that these will be considered new accounts and not have any previous email associations.
Thank You.