[web2py] shell tool used for videos

[Manu]

Hi Massimo;
  I was interested to know what is the tool you are using to script
your presentation ( open web page; text2voice ...)

Thx