yeah i think the site itself is having issues. loaded fine just a few seconds later after i made the above post.
in any case, if you want to install apps like vlc, just use something like ninite.com. much better user experience. though i suppose if the source is blocked on your network, even ninite would fail to work.