Thanks for your reply, Marcos. Much appreciated. As mentioned above, it's not a big deal, so there is probably no need to open a support ticket, at least not for the time being. Apart from that, I do think ESET developers won't find it difficult to reproduce this server-related issue. I just wanted to let you know about this smtp server issue. Again, thanks very much for your help.
Best wishes,
Buddel