Maybe. Seriously, no idea.

That's precisely what I don't get in this case, especially. The source is out there, there are other people mirroring vlc. So if you're trying to censor it, you're going to fail pretty hard. In the absence of that, what can it be?

Of course! It must be the mplayer folks!!

Or in this case, who you'd literally least suspect: wmplayer. All hail wmv!