From the linked video, I saw video panning with mouse movement and zoom-to-clicks ... I think Camtasia can do those? For sure on the zoom, less sure on the panning. Camtasia is commercial and cross-platform.

Added benefit is that I think Camtasia is relatively easy to pickup compared to other tools I've tried to use.