I think this is a different gradio than what we're shipping. what we're shipping is https://github.com/haecker-felix/gradio - thjis is about https://github.com/gradio-app/gradio/