diff --git a/.docker/base.Dockerfile b/.docker/base.Dockerfile
index f9f05c41c2b..5753623a814 100644
--- a/.docker/base.Dockerfile
+++ b/.docker/base.Dockerfile
@@ -17,7 +17,7 @@ RUN apt-get update
 # see the status. Not a big deal to have them here, only installed
 # nightly and the files are shared by all subcontainers due to
 # overlayfs.
-RUN apt-get -y --no-install-recommends install vim-nox emacs-nox && apt-get clean
+# RUN apt-get -y --no-install-recommends install vim-nox emacs-nox && apt-get clean
 
 # # Base dependencies: opam
 # # CI dependencies: jq (to identify F* branch)