docs: def default(self, line):
          '''
          Implement short-cut commands: any unique command prefix should
          work.'''
          cmdargs = line.split()
          remain = ' '.join(cmdargs[1:])
          if 'show'.startswith(cmdargs[0]):
              self.do_show(remain)
          elif 'set'.startswith(cmdargs[0]):
              self.do_set(remain)
          elif 'sendeth'.startswith(cmdargs[0]):
              self.do_sendeth(remain)
          elif 'load'.startswith(cmdargs[0]):
              self.do_load(remain)
          elif 'save'.startswith(cmdargs[0]):
              self.do_save(remain)
          elif 'monitor'.startswith(cmdargs[0]):
              self.do_monitor(remain)
          elif 'unmonitor'.startswith(cmdargs[0]):
              self.do_unmonitor(remain)
          elif 'exec'.startswith(cmdargs[0]):
              self.do_exec(remain)
          elif 'add'.startswith(cmdargs[0]):
              self.do_add(remain)
          elif 'remove'.startswith(cmdargs[0]):
              self.do_remove(remain)
          elif 'replay'.startswith(cmdargs[0]):
              self.do_replay(remain)
          else:
              print ("Unrecognized command '{}'".format(line))