| August 4, 2023 | Edited by Tom Morris | merge authors |
| September 30, 2020 | Edited by MARC Bot | add ids |
| January 26, 2018 | Edited by Erdal Ronahi | Edited without comment. |
| June 10, 2015 | Edited by Hemanth Kumar | Added new photo |
| June 6, 2012 | Edited by VacuumBot | Removed period from death date |