TODO: add MIDI player (someone has done it here https://github.com/gradio-app/gradio/issues/4939)
· Sign up or log in to comment
