Problem with subtitles that are merged using external timestamp files

The bug report is here.