Victor J. Katz

Revision	When	Who	Comment

4	December 22, 2022	Tom Morris	merge authors
3	December 22, 2022	Tom Morris	Add birth date, brief bio, & full name from Wikidata
2	September 7, 2008	RenameBot	fix author name
1	April 1, 2008		initial import