Why 4 + 1 ? Well VLC was using wxwidgets before switching to Qt so it's somewhat less integrated with the Gnome Desktop right now. That can also be said about MPlayer.
Also keep in mind that Miro is more than your regular video player. You can add rss feeds to it / browse the miro's built in TV and find a multitude of freely available videos that you can enjoy.
Also there aren't any download links present because you can find all of them in your Ubuntu / Fedora / OpenSUSE / Mandriva etc. package manager.