The frame rate is 24 fps. But I’m not dealing with a well-behaved clip, here, where something like a 3:2 pull down for the entire clip would do anything sensible. There are just parts of this clip where suddenly a frame is repeated 4 or 5 times and then it goes along fine for several seconds and the same thing will occur again. So it seems that what I need is something that decides when a frame is the same as the previous frame, and removes it – period. Fps doesn’t have much to do with it.
I’ve stepped through the clip manually with PP, frame by frame, and removed the duplicates and the result is what I want. I just don’t want to do it manually.
I found a Stack Overflow article on removing duplicate frames with ffmpeg at
https://stackoverflow.com/questions/37088517/ffmpeg-remove-sequentially-duplicate-frames .
This suggests that something like
ffmpeg -i in.mkv -vf mpdecimate out.mkv
ffmpeg -i in.mkv -vf decimate=cycle=6,setpts=N/25/TB out.mkv
might work, though I’m not sure yet what the various parameters mean.