Different phrasing of keepconsole options, suggested by David Goodger.