move 'download' button

app.py

@@ -641,10 +641,6 @@ with gr.Blocks(css=css) as block:
             elem_classes=["filter-checkbox-group"],
             scale=2,
         )
-        export_button = gr.DownloadButton(
-            label="Download as JSON",
-            value=EXPORTED_DATA_FILEPATH,
-        )
 
     with gr.Tabs() as outer_tabs:
         # Store the tabs for updating them on load based on URL parameters
@@ -713,6 +709,10 @@ with gr.Blocks(css=css) as block:
     }
     ```
     """)
+    export_button = gr.DownloadButton(
+        label="Download as JSON",
+        value=EXPORTED_DATA_FILEPATH,
+    )
 
     def set_tabs_on_load(request: gr.Request):
         """Set the selected tab based on the URL parameters on load."""