diff --git a/modules/lang/agda/README.org b/modules/lang/agda/README.org
index 1812f748d..6713085bf 100644
--- a/modules/lang/agda/README.org
+++ b/modules/lang/agda/README.org
@@ -1,9 +1,4 @@
 #+TITLE: :lang agda
 
-This module adds support for the [[http://wiki.portal.chalmers.se/agda/pmwiki.php][agda]] programming language.
-
-Emacs support is included in the agda release (you can find installation
-instructions [[https://agda.readthedocs.io/en/latest/getting-started/installation.html][here]]). This module attempts to find the location of ~agda2.el~ via
-the ~agda-mode locate~ command that comes with the agda release. Users can set
-this manually by setting the ~+agda2-dir~ variable. 
-
+This module adds support for the [[http://wiki.portal.chalmers.se/agda/pmwiki.php][agda]] programming language. The Emacs support
+exists directly in the agda repository but not in melpa.