https://www.bramjfreee.com/2013/10/vlc-media-player.html