I used my camera to make an AVI video. Which I thought of posting to my art page. But my HTML editor only supports MP4, WebM and Ogg video formats. My OS is Ubuntu. Which converter do you suggest? -- members.iinet.net.au/~kilgallin/