For some of the videos in the official documents, I use the screen capture tool that the Nvidia Geforce Experience offers as the videos have a good mix between compression and quality. Then to edit them I use Photoshop CS6 Extended as it is super easy to use if you even a little fimilar with photoshop.