Is Ctrl-D the only way to exit mickeyterm? And should we document it? Tingo 17:11, 24 August 2008 (UTC)