3 ms·

Magit does make pretty good bait.