+full_name = "Florent Kermarrec"
+
+[people."michael_nolan"]
+email = "mtnolan2640@gmail.com"
+aliases = ["mnolan", "michael", "Michael", "mtnolan", "mtnolan2640"]
+full_name = "Michael Nolan"
+
+[people."addw"]
+email = "addw@phcomp.co.uk"
+aliases = ["Alain", "Alain Williams", "alain"]
+full_name = "Alain D D Williams"
+
+[people."jock_tanner"]
+email = "tanner.of.kha@gmail.com"
+aliases = ["jock"]
+full_name = "Jock Tanner"
+
+[people."veera"]
+email = "vklr@vkten.in"
+aliases = ["vklr", "Veera Kumar", "Veera"]
+full_name = "R Veera Kumar"
+
+[people."jean-paul_chaput"]
+email = "Jean-Paul.Chaput@lip6.fr"
+aliases = [
+ "lip6",
+ "lip6_donated",
+ "lip6_donated_nlnet",
+ "Jean Paul Chaput",
+ "Jean-Paul",
+ "jean-paul",
+ "jean paul",
+]
+full_name = "Jean-Paul Chaput"
+
+[people."staf_verhaegen"]
+email = "staf@fibraservi.eu"
+aliases = ["staf", "Staf", "chips4makers"]
+full_name = "Staf Verhaegen"
+
+[people."lauri_kasanen"]
+email = "cand@gmx.com"
+aliases = ["lauri", "Lauri"]
+full_name = "Lauri Kasanen"
+
+[people."yehowshua_immanuel"]
+email = "yimmanuel3@gatech.edu"
+aliases = ["yehowshua", "Yehowshua"]
+full_name = "Yehowshua Immanuel"
+
+[people."whitequark"]
+email = "whitequark@whitequark.org"
+aliases = []
+full_name = "whitequark"
+
+[people."tplaten"]
+email = "libre-soc@platen-software.de"
+aliases = ["tobias", "Tobias"]
+full_name = "Tobias Platen"
+
+[people."cole"]
+email = "colepoirier@gmail.com"
+aliases = ["Cole", "colepoirier"]
+full_name = "Cole Poirier"
+
+[people."aleksandar_kostovic"]
+email = "alexandar.kostovic@gmail.com"
+aliases = ["alexandar", "aleksandar"]
+full_name = "Aleksandar Kostovic"
+
+[people."cesar_strauss"]
+email = "cestrauss@gmail.com"
+aliases = ["cesar", "Cesar", "cestrauss"]
+full_name = "Cesar Strauss"
+
+[people."dimitri_galayko"]
+email = "dimitri.galayko@lip6.fr"
+aliases = ["dimitri", "dimitry"]
+full_name = "Dimitri Galayko"
+
+[people."marie_minerve"]
+email = "Marie-Minerve.Louerat@lip6.fr"
+aliases = ["marie"]
+full_name = "Marie-Minerve Louerat"
+
+[people."drchat"]
+email = "me@justinm.one"
+aliases = ["DrChat"]
+full_name = "Justin Moore"
+
+[people."rwilbur"]
+email = "richard.wilbur@gmail.com"
+aliases = []
+full_name = "Richard Wilbur"
+
+[people."hendrik"]
+email = "hendrik@topoi.pooq.com"
+aliases = []
+full_name = "Hendrik Boom"
+
+[people."klehman"]
+email = "klehman9@comcast.net"
+aliases = []
+full_name = "Kyle Lehman"