He is on those top-contributors lists. His username is "Ser Amantio di Nicolao" per article.