Looking to use https://tinytake.com/ to capture the demos.
And using https://clipchamp.com/ to compress the mp4 file down to a reasonable size.
Then I can add a video to each demo in https://github.com/aatree/aademos/