Export as CSV is broken in the new UI

(Bug, To be Fixed , Priority: Medium, Test Status: No automated tests yet , Reported By Justin du Coeur, )
Import and Export, User Interface
Summary: Nothing remarkable here, it just isn't implemented yet.
Nobody is using this right now, so decided it is not critical path.
You get to this feature from the Advanced page. The link is there, but the command it implements is not. The original code is in Application.scala; there is no matching API yet.
The only challenging thing about this is actually saving the generated file from the UI to the user's machine; there is no well-agreed standard to do so. But it looks like FileSaver.js should do what we need. This article discussed that in more detail.