Guau, ¡Muchas gracias por tu detallado informe! Tendré en cuenta todo lo que comentas por si algún día hago una revisión o ampliación del juego.
Con respecto a los editores de vídeo, hay algunos cuya versión gratuita ofrece suficientes opciones. Yo uso VSDC y me va muy bien.
¡Un saludo!