On Fri, Jan 08, 1999 at 03:53:32PM +0100, Michal *pht* Svoboda wrote: > Actually this is great idea, all i wonder is why there are the nuances > with kill, when the server could simply change the nick ? Think. Of other servers. Piotr