Are ffmpeg-devel and the other ffmpeg lists moving to mplayerhq.hu? I ask only because I seem to have just been subscribed to ffmpeg-devel at mplayerhq.hu by no action of my own. :) I don't mind; please don't unsubscribe me. I'm just curious. -Corey