   "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--hide-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-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))
