“The VLC media player has been downloaded over 6 billion times.”