| October 15, 2023 | Edited by Tom Morris | Add birth date & brief bio from Wikidata |
| October 15, 2023 | Edited by Tom Morris | merge authors |
| September 8, 2008 | Edited by RenameBot | fix author name |
| April 1, 2008 | Created by an anonymous user | initial import |
| October 15, 2023 | Edited by Tom Morris | Add birth date & brief bio from Wikidata |
| October 15, 2023 | Edited by Tom Morris | merge authors |
| September 8, 2008 | Edited by RenameBot | fix author name |
| April 1, 2008 | Created by an anonymous user | initial import |