diff -r 5cd2e6e17e6f -r e9506503efea src/Pure/General/mailman.scala
--- a/src/Pure/General/mailman.scala	Mon Dec 13 22:13:22 2021 +0100
+++ b/src/Pure/General/mailman.scala	Tue Dec 14 08:59:49 2021 +0100
@@ -216,7 +216,7 @@
   }
 
 
-  /* Isabelle mailing lists */
+  /* isabelle-users mailing list */
 
   object Isabelle_Users extends Archive(
     Url("https://lists.cam.ac.uk/pipermail/cl-isabelle-users"),
@@ -344,6 +344,9 @@
     }
   }
 
+
+  /* isabelle-dev mailing list */
+
   object Isabelle_Dev extends Archive(Url("https://mailmanbroy.in.tum.de/pipermail/isabelle-dev"))
   {
     override def message_regex: Regex = """<LI><A HREF="(\d+\.html)">""".r