Is there any video recording software around that allows you to do the following: We would like to make screen captures of lets say a video that is playing on a laptop. We want to be able to insert a watermark in our recording while playing it. The final step would be to extract GIFs from that video. Must be of a reasonable size, meaning not too big for social media platforms. Any recommendations?