The documentary is no longer available (or, possibly, only available in the US), but the tool you're describing is pretty common in digital video editing. In DaVinci Resolve the dustbuster tool will look a few frames ahead and behind of the one where you want to paint out a mark, and make its best guess based on that.

I've used it to paint out tape dropouts on VHS transfers with remarkable success.