diff --git a/docs/source/tutorial/interactive.rst b/docs/source/tutorial/interactive.rst
index cfb9528dc..e9bcea907 100644
--- a/docs/source/tutorial/interactive.rst
+++ b/docs/source/tutorial/interactive.rst
@@ -21,7 +21,7 @@ section, we explain how these features can be exploited by a text
 editor, and specifically how to do so in `Vim
 <https://github.com/edwinb/idris2-vim>`_. An interactive mode
 for `Emacs <https://github.com/idris-hackers/idris-mode>`_ is also
-available (though not yet updated for Idris 2).
+available, updated for Idris 2 compatability as of 23 February 2021.
 
 Editing at the REPL
 ===================