...

I've wondered, if the addresses are properly formatted with RFC822 comments, will they be handled correctly at distribution time? Seems like a reasonable assumption, and it would be very nice indeed to have those real names handy. But it's never gotten to the top of my priorities to poke through the code, or try a test case on my list.

In response to this, I wrote:

I don't remember if I ever tried

real name <user@domain.com>

but, knowing how choplist works, I think this format would work fine as well.

Sorry, I was wrong. I just went back and checked the Manual, and it says that the email address must be the first thing on the line. The other form I mentioned, though -- user@domain.com (real name) -- is explicitly permitted. Sorry for the misinformation. (I should've checked before speaking!) -cary