https://www.fosslicious.com/2018/10/how-to-play-midi-files-on-vlc.html