Oh, the subtitles were very much not edited in parallel with the video and audio. It’s a huge pain in the ass, done after the edit is finished and sync-locked. It’s very “adjust by a quarter second, save, and see how it looks in VLC, repeat.”
I’d imagine that, yeah, 3/4 hours to conform subtitles to Spence’s edit would be about what it would take me.