Windows 10 tool can be recorded as a video and dumped as a GIF animation