On Friday 01 July 2005 11:44, Phillip J. Eby wrote: > Resource managers. Yeah, I was thinking that, but was somewhat ambivalent. But I definately like it better than anything else proposed so far. -Fred -- Fred L. Drake, Jr. <fdrake at acm.org>