From ccf6fbaeeb3d6d03af69eb712925c047f1c3907d Mon Sep 17 00:00:00 2001
From: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date: Sat, 16 Sep 2023 10:01:53 +0000
Subject: [PATCH] tweak wording

---
 user.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js
index 9435897..08d2a95 100644
--- a/user.js
+++ b/user.js
@@ -294,7 +294,7 @@ user_pref("network.gio.supported-protocols", ""); // [HIDDEN PREF]
  * [3] https://support.mozilla.org/en-US/kb/firefox-dns-over-https
  * [4] https://www.eff.org/deeplinks/2020/12/dns-doh-and-odoh-oh-my-year-review-2020 ***/
    // user_pref("network.trr.mode", 3);
-/* 0711: disable parental controls, when enabled, skipping DoH [FF70+] ***/
+/* 0711: disable skipping DoH when parental controls are enabled [FF70+] ***/
 user_pref("network.dns.skipTRR-when-parental-control-enabled", false);
 /* 0712: set DoH provider
  * The custom uri is the value shown when you "Choose provider>Custom>"