diff --git a/zshrc.org b/zshrc.org
index 499515e..451c3d8 100644
--- a/zshrc.org
+++ b/zshrc.org
@@ -15,8 +15,7 @@ are daily and pi, the function returns '(".zshrc" ".zshrc.pi")
   (setq tag-to-filenames-alist '(("daily" . ".zshrc")
                                  ("blender" . ".zshrc.blender")
                                  ("pi" . "/ssh:ssh.jacopods.xyz:.zshrc")
-                                 ("android" . ".zshrc.android")
-                                 ("mips" . ".zshrc.mips")))
+                                 ("android" . ".zshrc.android")))
   (defun org-tags-to-filenames ()
     (let ((tags (car (last (org-heading-components)))))
       (when (stringp tags)
@@ -47,7 +46,6 @@ This is my ~.zshrc~; it will be used in many environments:
 - blender box (gentoo box with no gui)
 - android box in termux
 - raspberry pi
-- mips box
 
 Each environment has slightly different setups, which will be tangled
 to different files according to the function `org-tags-to-filenames',