Good video. What tool(s) did you use to capture it? I’d like to use something similar (under Windows 10) for my tutorials.