| January 30, 2022 | Edited by Tom Morris | merge authors |
| September 27, 2020 | Edited by MARC Bot | add ids |
| February 24, 2020 | Edited by jeanjung | added bio and info |
| February 24, 2020 | Edited by jeanjung | added links and image |
| February 24, 2020 | Edited by jeanjung | Added new photo |