Antes que alguém pergunte o que raios é esse OGV, este é o formato de arquivo que o aplicativo gtk-RecordMyDesktop (o nome diz tudo né? Ele grava as ações do seu desktop) cria. Mas quase ninguém que você conheça usa ou lê OGV. Então podemos usar o aplicativo DeVeDe para converter o OGV no formato mais comum que é o AVI.
Sacaram agora? Eu fiz um teste ontem e um OGV de 3mb caiu para 1.2mb, em AVI.
Muito fácil.
Antes que alguém pergunte 2: não, não sei como colocar áudio no gtk-RecordMyDesktop. Mas usando o AVIDEMUX, você pode incorporar uma faixa de áudio. Teste!
Update dia 17.08: eu consegui inserir uma faixa de áudio usando o KDENLIVE. O maior “problema” é ter que baixar vários megabytes. Mas funciona.