     (define-key map (kbd "M-<f12>") #'fstar-quick-peek)
     (define-key map (kbd "C-c C-s C-c") #'fstar-insert-match-dwim)
     (define-key map (kbd "C-c C-s C-e") #'fstar-eval)
+    (define-key map (kbd "C-c C-s C-s") #'fstar-quit-windows)
     map))
 
 (defun fstar-newline-and-indent (arg)

(defun fstar-doc-at-point-dwim ()
  "Show documentation of identifier at point, if any."
  (interactive)
  (-if-let* ((same-command (eq last-command this-command))
             (doc-wins (and (buffer-live-p (get-buffer fstar--doc-buffer-name))
                            (get-buffer-window-list fstar--doc-buffer-name nil t))))
      (mapc (apply-partially #'quit-window nil) doc-wins)
    (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)))))

  "Check if PROG is in the remote path."
  (with-parsed-tramp-file-name buffer-file-name vec
    (tramp-find-executable vec prog nil)))

(defun fstar--hide-help-window (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))
                              (get-buffer-window-list buf nil t))))
    (mapc (apply-partially #'quit-window nil) doc-wins)
    t))

;;; Debugging

