Not quite Ctrl F, but Loom does use some AI magic to summarize videos and automatically add sections so you can skip to the interesting bits quickly. Only used it once recently, but it perfectly divided my video according to the 3 points I was addressing.