Re: [stools] quit as synonym for exit