diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index 8f782af..6bf2aec 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -41,6 +41,7 @@ dist/build/GenerateEverything/GenerateEverything
 
 # AGDA_DIR is just to ignore ~/.agda/ defaults
 # In 2.6.1 --no-libraries should work for this instead
+# https://github.com/agda/agda/issues/4000
 export AGDA_DIR=$PWD
 
 agda -i. -isrc Everything.agda