I couldn't find any existing tool or technique to condense periods of low motion frames in long videos so I wrote my own Python/ffmpeg utility with the aid of Google Gemini.

I love the results, though I have a strong hunch that there's probably a different processing approach that would be 10x faster.