Dashboard is a great tool for monitoring the progress of a program while it lasts. However, we also have tools to monitor their fate afterwards, like WikiMetrics. However, there is no easy way to export or copy the list of editors. Since there is a way to add multiple users at once (one username per line, clean text), would it be possible to also show the user list that way? This would make it easier to copy the username list and use it in WikiMetrics, or wrap it with templates on-wiki.
@Halibutt this feature exist already. On the home tab for a program, you can click 'Download stats' and then 'Editors data' to get a CSV file of all the editors, like this: https://outreachdashboard.wmflabs.org/course_students_csv?course=Jacob_Lawrence_Gallery/Seattle_Jacob_Lawrence_Gallery_AF_2017
It has additional data as well, but if you want to use it in Wikimetrics or similar, you can open it in a spreadsheet program and copy and paste the first column.