update

app.py

@@ -985,7 +985,7 @@ with gr.Blocks(
         topk_slider = gr.Slider(label="Number of results", minimum=1, maximum=50, step=1, value=5)
         with gr.Column():
             mode_sel    = gr.Radio(["Arena", "Normal"], value="Arena", label="Mode")
-            mode_description = gr.Markdown("Arena mode: Compare retrieval results from Lean Finder with another retriever and vote.")
+            mode_description = gr.Markdown("Arena mode: Compare retrieval results from Lean Finder with another retriever and vote.\n By voting, you agree that your responses may be used to help improve Lean Finder. We only collect the voting results; no identifiable information is stored.")
     
     run_btn = gr.Button("Retrieve")