Cool recording app, it is dead now I think, but it would be cool to bring back. You could drag a box around what you wanted to record plus have a audio file playing & that would get recorded in too.
works better than simplescreenrecorder in my experience.
By the way it is not dead:
It was updated 16 hours ago on github (though it is flaged out-of-date on AUR:
Oh wow, it isn’t dead. Just downloaded.
That’s not the AUR, that’s the Arch repos.