@sacha @mekeor After having used vundo a while, I am personally sold: I switched from undo-tree to vundo. I found no major drawbacks.
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
