   (fstar-subp-remove-tracking-overlays)
   (fstar-subp--clear-continuations)
   (setq fstar--vernum nil
+        fstar--features nil
         fstar-subp--process nil
-        fstar-subp--features nil
         fstar-subp--next-query-id 0))
 
 (defun fstar-subp-kill ()

asynchronously after the fact)."
  (-if-let* ((hole-info (get-text-property (point) 'fstar--match-var-type)))
      (format "This hole has type `%s'" (car hole-info))
    (when (and (fstar-subp--has-feature 'lookup) (fstar-subp-available-p)
               (not (fstar-subp--in-issue-p (point))))
      (let* ((query (fstar-subp--positional-lookup-query (point)))
             (retv (fstar-subp--query-and-wait query 0.01)))

    (autocomplete . "0.9.4.2")
    (json-subp . "42")))

(defvar-local fstar--features nil
  "List of available F* features.")

(defun fstar--query-vernum (executable)
  "Ask F* EXECUTABLE for its version number."
  (with-temp-buffer
