**** The mail-complete command now inserts the user's full name,
for local users or if that is known. The variable mail-complete-style controls the style to use, and whether to do this at all. Its values are like those of mail-from-style.