Welcome! Please see the About page for a little more info on how this works.
It would be great if Datomic Console provided a way to export to CSV files