     (define-key map (kbd "C-c C-S-a") #'fstar-literate-rst2fst)
     map))
 
-(define-derived-mode fstar-literate--rst-mode rst-mode "F✪-rst"
+(define-derived-mode fstar-literate--rst-mode rst-mode "F✪-reStructuredText"
   "Mode for RST buffers backed by an F* file.
 Press \\{fstar-literate-mode-map}\\[fstar-literate-toggle\\] to
 toggle between reStructuredText and F*."

  (interactive)
  (fstar-subp-kill)
  (setq-local fstar-literate--fst-name (buffer-name))
  (fstar-literate--toggle "--fst2rst" #'fstar-literate--rst-mode)
  (rename-buffer (format fstar-literate--rst-name-format fstar-literate--fst-name)))

(defun fstar-literate-rst2fst ()
  "Toggle between reStructuredText and F*."
  (interactive)
  (fstar-literate--toggle "--rst2fst" #'fstar-mode)
  (rename-buffer fstar-literate--fst-name))

;; This was useful when using the fringe to highlight literate comments, since
;; there is no fringe on TTYs.


(defvar-local fstar-literate--fst-name nil)
(put 'fstar-literate--fst-name 'permanent-local t)

(defconst fstar-literate--point-marker
  "<<<\"P\"O\"I\"N\"T\">>>")
