Could we rename mplayer-w32codecs to something like codecs-extras? Since this package provides more codecs i think we should keep him. -- Hugo Doria http://hdoria.archlinux-br.org