Update app.py

app.py

@@ -447,19 +447,6 @@ if __name__ == "__main__":
                 break
     
     if help_tab_index != -1:
-        # This is a bit hacky as direct modification of Markdown content post-render is complex.
-        # The markdown content is static here. We'll update the string before demo.launch()
-        # The markdown string itself was already modified above.
-        # For dynamic updates in Gradio, one would typically use gr.Markdown().update(value="new markdown")
-        # but this is for initial setup.
-        
-        # The string for Markdown is already updated.
-        # The line below was an attempt to dynamically update, but it's not needed as the string is changed prior to launch.
-        # demo.children[help_tab_index[0]].children[help_tab_index[1]].children[0].value = demo.children[help_tab_index[0]].children[help_tab_index[1]].children[0].value.replace(
-        # "smolagents Available: '✅ Yes'", f"smolagents Available: {'✅ Yes' if HAS_SMOLAGENTS else '❌ No'}"
-        # )
-        # Instead, we ensure the markdown string itself reflects HAS_SMOLAGENTS if it were dynamic.
-        # For this request, the static string modification is sufficient.
         pass