There are several skins available for download at mplayer's homepage, but no information regargind license or redistribution. Can those skins be packaged and redistributed by a third-party? Or, better yet, under what license are those skings being distributed?