| October 30, 2023 | Edited by Tom Morris | merge authors |
| October 30, 2023 | Edited by Tom Morris | merge authors |
| September 30, 2020 | Edited by MARC Bot | add ids |
| November 28, 2017 | Edited by MARC Bot | fix combining diacritics |
| June 6, 2012 | Edited by VacuumBot | Removed period from death date |