Exporting to xml always defaults to course.xml filename.
Created by: sortedcord
When exporting the data to a xml file when a custom file name has been specified, it always uses the default file name. Its the same for script.
export_course(course, "xml", "mycourse.xml")It should instead export it as mycourse.xml