diff -r fe1d22487427 -r a63c34c28430 src/Pure/General/mailman.scala
--- a/src/Pure/General/mailman.scala	Wed Dec 15 12:41:33 2021 +0100
+++ b/src/Pure/General/mailman.scala	Wed Dec 15 13:07:49 2021 +0100
@@ -23,6 +23,7 @@
 
   private val standard_name: Map[String, String] =
     Map(
+      "121171528@qq.com" -> "Guo Fan\n121171528@qq.com",
       "Aman Pohjola, Johannes (Data61, Kensington NSW)" -> "Johannes Aman Pohjola",
       "Andrei de AraÃjo Formiga" -> "Andrei de Araujo Formiga",
       "Benedikt.AHRENS@unice.fr" -> "Benedikt Ahrens\nBenedikt.AHRENS@unice.fr",
@@ -87,6 +88,8 @@
       "Markus" -> "",
       "Marmsoler, Diego" -> "Diego Marmsoler",
       "Martin Klebermass" -> "Martin Klebermaß",
+      "Martyn Johnson via RT" -> "",
+      "Mathias.Fleury@ens-rennes.fr" -> "Mathias Fleury\nmathias.fleury12@gmail.com",
       "Matthew" -> "",
       "Matthews, John R" -> "John Matthews",
       "McCarthy, Jim (C3ID)" -> "Jim McCarthy",
@@ -105,6 +108,7 @@
       "Omar Montano Rivas" -> "Omar Montaño Rivas",
       "Omar MontaÃo Rivas" -> "Omar Montaño Rivas",
       "OndÅej KunÄar" -> "Ondřej Kunčar",
+      "PALMER Jake" -> "Jake Palmer",
       "PAQUI LUCIO" -> "Paqui Lucio",
       "Pal, Abhik" -> "Abhik Pal",
       "Pasupuleti, Vijay" -> "Vijay Pasupuleti",
@@ -112,6 +116,7 @@
       "Peter" -> "",
       "Philipp Ruemmer" -> "Philipp Rümmer",
       "Philipp RÃmmer" -> "Philipp Rümmer",
+      "Piete Brooks via RT" -> "",
       "RTA publicity chair" -> "",
       "Raamsdonk, F. van" -> "Femke van Raamsdonk",
       "Raul Gutierrez" -> "Raúl Gutiérrez",
@@ -133,6 +138,7 @@
       "Thomas Arthur Leck Sewell" -> "Thomas Sewell",
       "Thomas Goethel" -> "Thomas Göthel",
       "Thomas.Sewell@data61.csiro.au" -> "Thomas Sewell\nThomas.Sewell@data61.csiro.au",
+      "Tjark Weber via RT" -> "Tjark Weber",
       "Toby.Murray@data61.csiro.au" -> "Toby Murray\nToby.Murray@data61.csiro.au",
       "Urban, Christian" -> "Christian Urban",
       "Ursula Eschbach" -> "",
@@ -161,6 +167,7 @@
       "geng chen" -> "Geng Chen",
       "henning.seidler" -> "Henning Seidler",
       "hkb" -> "Hidetsune Kobayashi",
+      "jobs-pm@inf.ethz.ch" -> "",
       "julien@RadboudUniversity" -> "",
       "jun sun" -> "Jun Sun",
       "jwang whu.edu.cn (jwang)" -> "jwang",
@@ -171,15 +178,20 @@
       "manish surolia" -> "Manish Surolia",
       "mantel" -> "Heiko Mantel",
       "marco caminati" -> "Marco Caminati",
+      "mathias.fleury@ens-rennes.fr" -> "Mathias Fleury\nmathias.fleury12@gmail.com",
       "merz@loria.fr" -> "stephan.merz@loria.fr",
       "michel levy" -> "Michel Levy",
       "michel.levy2009@laposte.net" -> "Michel Levy\nmichel.levy2009@laposte.net",
       "nemouchi" -> "Yakoub Nemouchi",
+      "noam neer" -> "Noam Neer",
+      "olfa mraihi" -> "Olfa Mraihi",
+      "pathsnottakenworkshop@gmail.com" -> "Leo Freitas\nleo.freitas@newcastle.ac.uk",
       "patrick barlatier" -> "Patrick Barlatier",
       "patrick dabou" -> "Patrick Dabou",
       "paul zimmermann" -> "Paul Zimmermann",
       "popescu2@illinois.edu" -> "Andrei Popescu",
       "recruiting" -> "",
+      "recruiting@mais.informatik.tu-darmstadt.de" -> "",
       "roux cody" -> "Cody Roux",
       "scott constable" -> "Scott Constable",
       "superuser@mattweidner.com" -> "Matthew Weidner\nsuperuser@mattweidner.com",