diff --git a/versions/wmde13.env b/versions/wmde13.env
index 07e3c320b..75ea09487 100644
--- a/versions/wmde13.env
+++ b/versions/wmde13.env
@@ -4,6 +4,7 @@ MEDIAWIKI_BRANCH_NAME=REL1_39
 
 # WDQS_VERSION 0.3.135 is latest release on 2023-10-11
 # as per https://github.com/wikimedia/wikidata-query-rdf/tags
+# and https://archiva.wikimedia.org/repository/releases/org/wikidata/query/rdf/service/
 WDQS_VERSION=0.3.135
 
 # Head of master on 2023-10-11