Your changes + the new Intra... will be checked in later today (or soon). I tested all of them and they all worked but you know more about it then we do.
I also tried AVC-Intra-100 encoding - slow on my machine, but apparently produces mp4?
Yes, it produced mp4 and it was not slow on my laptop but I ran a very small file without audio.
Of course audio better to be PCM ....
Can anyone check if this file edi(t)able by other video editors?
I do not have MLV or any other video editor to test. Maybe Andrea can after we check it in?