> > That's only ~100 lines of code?  Can that be? I'm suspecting that I > don't use Magit right, again.  Or something. > You're using Magit right: it's indeed a small fix. Your comments would be most welcome, of course.