The tool paper that originated my previous post on demo videos got accepted. Hooray! Given the ongoing global pandemic, I was asked to submit a 15-minute video of my presentation, that has then been broadcasted to all participants. This post is a collection of notes I gathered along the way.