diff --git a/app/src/main/res/xml/preferences.xml b/app/src/main/res/xml/preferences.xml
index ccba24531..8fc5524a2 100644
--- a/app/src/main/res/xml/preferences.xml
+++ b/app/src/main/res/xml/preferences.xml
@@ -38,6 +38,9 @@
 
     </PreferenceCategory>
 
+    <!-- The key 'allowGps' was used before and has since been removed based on the discussion at #1599.
+          Do not reuse this key unless you revive the same feature with the changes mentioned at #1599.-->
+
     <PreferenceCategory
         android:title="@string/preference_category_feedback">