Minor edit of leading comments: 'the the' --> 'the', quoted 'enable'
option name for clarity.
diff --git a/Tools/idle/config.txt b/Tools/idle/config.txt
index c1d96c1..6f98a3e 100644
--- a/Tools/idle/config.txt
+++ b/Tools/idle/config.txt
@@ -14,8 +14,8 @@
# IDLE extensions can be enabled and disabled by adding them to one of
# the config files. To enable an extension, create a section with the
# same name as the extension, e.g. the [ParenMatch] section below. To
-# disable an extension, either remove the section or add the the
-# enable option with the value 0.
+# disable an extension, either remove the section or add the 'enable'
+# option with the value 0.
[EditorWindow]
width= 80