It worked perfectly for several days. But now the resulting file shows the same subtitle twice, I mean, it is duplicated in the same screen, one above the other... I must have misconfigured something, but I have reviewed all the procedures from https://trac.videolan.org/vlc/ticket/12338 and https://...