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