Hi @dpraz, can you us to the Gradio app (if it’s open source or hosted on Spaces for instance) – or a minimal reproducer?
cc @pngwn