--- a/Preferences/__init__.py	Wed Oct 18 19:16:28 2017 +0200
+++ b/Preferences/__init__.py	Thu Oct 19 19:39:59 2017 +0200
@@ -1470,7 +1470,6 @@
         "ShowInfoAsMarkdown": False,
         "Provider": "disabled",
     }
-    # TODO: add to new configuration page to editor section
 
 
 def readToolGroups(prefClass=Prefs):