when I googled for "VLC player" (dutch google) the top hit was the sponsored link " http://www.VlcMediaPlayer.info/Download " When I pressed the download-button, my virusscanner alarmed: file http:// prompt. pinballpublishernetwork. com/Setup/61.0.26.0_64.0.37.0/hotbar_vlc/vlcset...