svoid cat_stopListening() {
  thread {
    if (isOK(sendOpt("Chrome Speech.", "stop recognition")))
      infoBox("Stopped listening.");
  }
}