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)