| August 3, 2023 | Edited by Tom Morris | merge authors |
| August 3, 2023 | Edited by Tom Morris | Add brief bio and full name from Wikidata |
| August 3, 2023 | Edited by Tom Morris | undo merge authors |
| September 22, 2022 | Edited by dcapillae | remove wrong names |
| September 22, 2022 | Edited by dcapillae | merge authors |