| December 31, 2022 | Edited by Tom Morris | merge authors |
| September 19, 2020 | Edited by Charles Horn | add ids |
| September 19, 2020 | Edited by Charles Horn | merge authors |
| June 6, 2012 | Edited by VacuumBot | Removed period from death date |
| May 27, 2009 | Edited by EdwardBot | merge authors |