I got you--here's a temporary download link! There's two videos in there: the larger one is a rough cut of the entire scene (just cut at keyframes so I didn't have to re-encode, meaning there's a bit extra at the beginning and end) so you can play with it yourself, and the smaller one is (hopefully) the line you were looking for. I used the "smart cut" feature of LosslessCut for the latter which supposedly only re-encodes the bits before and after keyframes. Idk how well it works, but it looked okay to me!

If you'd like a different cut or want a different format (e.g. simple MP4s with just a video and audio track instead of the MKVs), just let me know!

edit: I see that you're active pretty sporadically, so if the link's dead by the time you see this comment just hit me up and I'll re-upload the videos! It literally just takes me a minute, so it's no trouble.