Busco editor Lista de Canales
 

Trasteando por ahí me he encontrado dos editores: Clark Tech Editor y DB Tools Editor.
Los dos me parecen prácticos y sencillos de manejo, pero tengo un problema: ambos corren sobre Windows y yo no tengo más que OSX (Mac) y Ubuntu, y en último extremo el Android de la tablet.
No tengo ningún interés en meter en un Mac un emulador de Windows sólo para correr esta aplicación.
¿Alguien conoce un editor de lista de canales del Iris 9600HD que corra sobre alguno de los tres SO de que dispongo?
Muchas gracias.