diff -r a63c34c28430 -r 9ddf227fc8a4 src/Pure/General/mailman.scala
--- a/src/Pure/General/mailman.scala	Wed Dec 15 13:07:49 2021 +0100
+++ b/src/Pure/General/mailman.scala	Wed Dec 15 15:26:31 2021 +0100
@@ -1,7 +1,7 @@
 /*  Title:      Pure/General/mailman.scala
     Author:     Makarius
 
-Support for Mailman list servers.
+Support for Mailman list servers, notably isabelle-users and isabelle-dev.
 */
 
 package isabelle