I somehow forgot about this! But yes matching subtitle timings with video playback is a distinct “VLC thing” that I remember doing in the early 2000s