hotline server will be back up in around an hour ~ 11AM West Coast time May 20 --------------------------------------------------------------------- To unsubscribe, e-mail: microsound-unsubscribe@xxxxxxxxxxxxx For additional commands, e-mail: microsound-help@xxxxxxxxxxxxx website: http://www.microsound.org