diff --git a/init.org b/init.org
index 1cde5cc..8e53705 100644
--- a/init.org
+++ b/init.org
@@ -207,7 +207,7 @@
 
   (let* ((package--builtins nil)
          (packages
-          '(z3-mode)))           ; z3/SMTLIBv2 interactive development
+          '()))
     (when (memq window-system '(mac ns))
       (push 'exec-path-from-shell packages)
       (push 'reveal-in-osx-finder packages))
@@ -1773,6 +1773,19 @@
 
    #+end_src
 
+** Z3
+
+   I mostly use [[https://github.com/Z3Prover/z3][Z3]] as a Python library, but occasionally I'll run some SMT-LIB
+   code directly.
+
+   #+begin_src emacs-lisp
+
+   ;; z3/SMTLIBv2 interactive development
+   (use-package z3-mode
+     :defer t)
+
+   #+end_src
+
 * Key bindings
 
   Inspired by [[http://stackoverflow.com/questions/683425/globally-override-key-binding-in-emacs][this StackOverflow post]] I keep a =custom-bindings-map= that holds