Thanks! I didn’t know about Magit or jj — they both look really interesting, I’ll check them out.

Also, good point about the demo GIF. I’ll try updating it with a more complex example. Appreciate the feedback!