Warum der Artikel so heißt, kannst Du in der Diskussion nachlesen - ein typischer Wikipedia-Kompromiss. Zu Deiner weiteren Frage bezüglich Maiinglisten: Der Mann ist acht Jahre tot. Damals gab es kaum Uni-Mailinglisten, die heute noch öffentlich einsehbar wären. Welche enzyklopädieträchtigen Publikationen finden wir unter dem Pseudonym? Desweiteren sollten wir beachten, dass Tron aufgrund seines Fachgebiets ganz offiziell für eine Firma gearbeitet hat - das wäre ebenfalls mit einer vermeintlichen Geheimidentität nicht möglich gewesen. Zusammengefasst: 'Tron' war zu seinen Lebzeiten schlicht ein Nickname. So wie fast jeder Wikipedianer einen Nicknamen besitzt. Aus der Existenz eines Nicks zu schließen, dass der bürgerliche Name untergeordnet war, ist doch etwas verfehlt. -- 192.0.2.255 16:44, 3. Jan 2006 (CET)