            (fstar-subp--search-insert-result result)
            (insert "\n")))))
     (`failure
-     (message "Search for [%s] failed: %s" terms (string-trim response)))))
+     (message "Search for [%s] failed: %s" terms (fstar--string-trim response)))))
 
 (defun fstar-subp--search-query (terms)
   "Prepare a `search' terms for TERMS."

  (let-alist opt-info
    (let ((doc (fstar--lispify-null .documentation))
          (doc-face '(font-lock-comment-face (:height 0.7))))
      (setq doc (string-trim (or doc "")))
      (setq doc (replace-regexp-in-string " *(default.*)" "" doc t t))
      (setq doc (replace-regexp-in-string " *\n+ *" " " doc t t))
      (when (eq doc "") (setq doc "(undocumented)"))
      (insert "  " .name sp1 (fstar-subp--option-val-to-string .value)
              (if (not display-default) "\n"

    (_ (let ((header (format "[F* %s] " level)))
         (unless (stringp contents)
           (setq contents (prin1-to-string contents)))
         (message "%s" (fstar--indent-str (fstar--string-trim contents) header))))))

(defun fstar-subp--process-protocol-info (_vernum proto-features)
  "Register information (VERNUM and PROTO-FEATURES) about the protocol."
