Update:
The latest file (with audio) stops at 1:33:12. It won’t play any further. I’ve tried converting to mkv and re-encoding but neither of those things helped.
Edit: When converting to mkv with mkvmerge there were some very unusual errors or warnings.