That's not the one that I was thinking of although is always good to learn about new alternatives.
https://www.maartenbaert.be/simplescreenrecorder/#download
EDIT: The one you linked to looks quite good, being able to annotate things and highlight without having to edit the screenshots separately is a big plus, although it's not clear if you can also do the same with videos (that would also be fantastic).
On the other hand, they seem quite pushy about creating an account in order to be able to make recordings longer than 5 minutes, and it looks like they're uploading content to another video platform of theirs by default.
That's still a generous free offering but I'm not a big fan of that type of stuff. There's also no source code to verify their claims about privacy and security... we had a recent discussion about installing software from untrusted sources.
Note that I've just taken a quick look so I could be wrong.