A second on Natalie's second  -- also, I don't suppose there's any way I can
 do it remotely by e-mail without having to log into the VM machine at yale
 and use an editor and OS with which I'm pretty unfamiliar?  The new
 (year-old?) system for remote putting the header file works really slick(ly).
 Something equivalent for modifying the greeting info would be very helpful.
 -- Phil Sollins (OTS-L)