Screen Recording Tool Used in Demo

[aramb-dev]

@awaescher Hey! I'm really impressed with the demo of your GUI for git management. I particularly liked the screen recording with hotkey overlays.

Would you be willing to share what tool you used to create those recordings?

Thanks!