           ;;                             Monad var)
           (when (string-match "Redundant constraints?: " text)
             (let* ((redundant-start (match-end 0))
-                   (parts (with-temp-buffer
+                   (parts (intero-with-temp-buffer
                             (insert (substring text redundant-start))
                             (goto-char (point-min))
                             ;; A lone unparenthesized constraint might


(defvar-local intero-buffer-host nil
  "The hostname of the box hosting the intero process for the current buffer.")

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Interactive commands

  :default (boolean) specifies the default checkedness"
  (let ((available-width (window-total-width)))
    (save-window-excursion
      (intero-with-temp-buffer
        (rename-buffer (generate-new-buffer-name "multiswitch"))
        (widget-insert (concat title "\n\n"))
        (widget-insert (propertize "Hit " 'face 'font-lock-comment-face))
