Closed stanleyzhu1 closed 1 year ago
Minor fixes and renaming
I picked up a few of the changes and discarded others that were incompatible with "main"
Minor fixes and renaming