I've since learned that he was using Claws (Claws Mail) to send the e-mail.
But when he uses Thunderbird on the same system to send e-mail, avast! will append the text to a message sent using Thunderbird. Thunderbird does not directly support PGP, an extension has to be installed. Once that is installed, avast! will probably behave in the same manner as e-mail sent using Claws.