I think the way we ended up with headers of the form "@ node" <user>
is that it got '@node:userid' as the address.
Probably, some site used [log in to unmask]:IBM-Nets%bitnic.bitnet'
as the address.  I am told that this *IS* legal syntax, but I can't remember
whether it is RFC822 or RFC733 that allows this flake.  I know that *I*
sure don't like it.
 
Ah, for a fully RFC822, full-domain world.
 
                                   Valdis Kletnieks