>maybe tmplayer? I don't think the name matters all that much. 
>there
>already exists smplayer, gnome-mplayer, kplayer and kmplayer 
>according
>to my debian package list.

I meant a name change consistent with our previous name changes. 
Not a priority.

Darrell