[MPlayer-dev-eng] MPlayer name change

[Diego Biurrun]

Hi!

I think it is time for a name change.  No, not what you think, MPlayer
shall remain MPlayer.  But the complete name

  MPlayer - The Movie Player for Linux

is highly misleading nowadays that MPlayer runs on almost everything
that can distinguish between 0 and 1 except the old Mac OS.

My suggestion is just to shorten the name a bit:

  MPlayer - The Movie Player

What do you think?

Diego