Since the migration of OpenSubtitles I am increasingly encountering an error in the formatting of certain downloaded srt files, preventing them to load properly in VLC Player and my subtitle editor (Jubler for OS X). Opening these files in a text editor reveals that the timestamps have a dot instead...