This is an old revision of the document!
[05] HOW DO @TENEX.ORG AND @SDF.LONESTAR.ORG EMAIL DIFFER?
Currently @TENEX.ORG is not used for email. It is only used
as the RADIUS REALM for authentication to occur. At a later
time the @TENEX.ORG domain may be available for email.