   ;; LATER: This would be much easier if the interactive mode returned
   ;; an offset instead of a line an column.
   (save-excursion
-    (fstar--goto line column)
+    (fstar--goto-line-col line column)
     (point)))
 
 (defun fstar--match-strings-no-properties (ids &optional str)

(defun fstar--propertize-title (title)
  "Format TITLE as a title."
  (propertize title 'face '(:height 1.5)))

;;; Debugging



;;; ;; ;; Jump to definition

(defun fstar--jump-to-definition-continuation (display-action info)
  "Jump to position in INFO.
DISPLAY-ACTION indicates how: nil means in the current window;
