 (defun fstar-quit-windows ()
   "Hide all temporary F* windows."
   (interactive)
-  (mapc #'fstar--hide-help-window `(,fstar--doc-buffer-name ,fstar--search-buffer-name)))
+  (mapc #'fstar--hide-buffer `(,fstar--doc-buffer-name ,fstar--search-buffer-name)))
 
 ;;;; xref-like features
 

  "Show documentation of identifier at point, if any."
  (interactive)
  (unless (and (eq last-command this-command)
               (fstar--hide-help-buffer fstar--doc-buffer-name))
    (fstar-subp--ensure-available #'user-error 'lookup/documentation)
    (fstar-subp--query (fstar-subp--positional-lookup-query (point))
                  (fstar-subp--lookup-wrapper #'fstar--doc-at-point-continuation (point)))))

  (make-fstar-subp-query :query "search"
                         :args `(("terms" . ,terms))))

(defun fstar-search (terms)
  "Query F* subprocess for matches against TERMS and display the results.
Interactively, prompt for terms.  Repeating this command hides
the search buffer."
