[9fans] Wasn't there an mplayer port?

[Ethan Grammatikidis]

I was sure I once ran mplayer under Plan 9, but when I told jumzi it  
existed, jumzi ran a search on contrib and came up with nothing. Am I  
imagining the mplayer port?