Ask HN: Best tool stack for Laracast-type instructional videos?

Need to produce some tutorial videos for a web framework. Would like them to be as high quality as possible. Should I just go Camtasia or something similar? ASCIIcinema? Scrimba? This will be mostly VS Code interspersed with screen renders of the resulting HTML, ideally with portions of the screen highlighted or with callouts from time to time. Preferred platform is Mac.