On Thu, Apr 01, 2004 at 09:23:43AM +0200, Paul Slootman wrote: > Might "nobody" be a better default perhaps? Yeah, I think that might be better. I just changed it in CVS. ..wayne..