Browsing: quickest way to update vlc media player?