--- a/docs/changelog	Tue Aug 23 16:21:07 2022 +0200
+++ b/docs/changelog	Tue Aug 23 19:14:35 2022 +0200
@@ -9,6 +9,8 @@
   -- updated the simplifications checker to support more cases
 - Debugger
   -- added capability to suppress reporting of unhandled exceptions
+- Editor
+  -- extended the Pygments based lexer to support the various comment variants
 - MicroPython
   -- added capability to connect to devices for which only the serial port name
      is available