Comment # 3 on bug 1223928 from Carlos López

(In reply to Dirk Mueller from comment #2)
> 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/

You're right. Closing.