https://www.omgubuntu.co.uk/2017/12/gradio-7-0-radio-player-for-linux