svoid katze_userTyped(S s) {
  if (sendOpt("Chrome Speech.", "User typed *", s) == null) {
    // No recognizer running - log ourselves
    logQuoted(speechRecognitionLog(), now() + " [User typed] " + s);
    /*mechQ_noUniq("Katze Speech Recognition Log With Date",
      "[" + localDateWithMilliseconds() + ", typed] " + s);*/
  }
}