Eu normalmente gravo com gtk-recordmydesktop e, em seguida, o vídeo de saída que eu edito com o openshot ou pitivi (para mim, de preferência o openshot). Ambos podem adicionar texto a um vídeo. Claro que não com o fundo amarelo para o texto em seu link, mas pelo menos algum texto que você quiser e congele o vídeo por um momento, para que o espectador tenha tempo de ler.