Comment 1 for bug 1013048

Thanks for your input. I'll look into the mpeg2 options and gstreamer. If there's a decent encoder available, I can add it to the list of available encoders.