On Thu, Apr 2, 2026 at 1:02 AM Tamir Duberstein <[email protected]> wrote: > > Might be good to retain some of this in a code comment.
Bah, I missed this note among the rest, sorry (I didn't reply to the ones where the commit went away due to the changes in v2) -- I agree it wouldn't hurt to remember why it is there, even if it is already in the Git log. I will probably add it for tomorrow, especially if I have to rebase. Thanks! Cheers, Miguel
