Le comentaba a Tiger (quién hizo esa grabación), que se podía hacer de la siguiente manera:
Sobre el clip, antes de recortarlo en la edición, botón derecho -> Clip Speed. Y ajustas el porcentaje de aceleración, a la derecha te va dando el tiempo de origen y tiempo final.
Te recomiendo exportar usando el mismo codec del Camtasia. Le hice un videotutorial pero no explico esa parte
Espero te sirva el dato
creativo.