NextName() returns new-allocated memory that the caller must free. All of the existing callsites don't appear to do so.
 
 Developer time: several hours to convert the callsites, could be done by a student.
+
+Progress: All callsites now use NextNameOriginal().