[9fans] attention - new list address

[Scott Schwartz]

Friends, the address for this mailing list is going to 
be changing.  Thanks to Russ, we now have 9fans at 9fans.net
set up, and current subscriptions migrated.  Please give
it a try, and bear with us if there are any problems.
Thanks also to the psu computer science department
for hosting us these many years.