Hacer las canciones lleva un poco de curro. De momento, lo que he averiguado es:

1.- Nos hace falta el mp3 (o video, mucho mejor, claro)

2.- Nos hace falta un midi del audio... y aquí viene la parte jodida. Primero, porque tiene que coincidir con la cación en mp3 o video y segundo porque no se encuentran demasiados. Total, que la solución pasa por crear un midi a partir del audio con algún programa. De momento los programas que he encontrado no genera midis muy buenos

3.- El propio programa nos crea un fichero base al que añadirle la letra.

4.- Añadimos la letra al fichero .txt que ha creado el programa y nos ponemos a sincronizarlo (todo con una interfaz muy guarra y muy chunga). A ver si aparece pronto algún editor más cómodo que se maneje con el ratón.