Somewhat unrelated but anyone know what Stripe used to create that video run through - it looks really slick and would love to discover some tools to make recor

Somewhat unrelated but anyone know what Stripe used to create that video run through - it looks really slick and would love to discover some tools to make recording and annotating these kind of videos easy.