No additional tool required for animated GIFs. Until now, the Snipping Tool could only save screenshots in JPG, PNG and static GIF formats. Video recordings can only be recorded in MP4 video format.