 (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
 

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

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

  (with-parsed-tramp-file-name buffer-file-name vec
    (tramp-find-executable vec prog nil)))

(defun fstar--hide-buffer (buf)
  "Hide window displaying BUF, if any.
Return value indicates whether a window was hidden."
  (-when-let* ((doc-wins (and (buffer-live-p (get-buffer buf))
