Could you re-post this as a patch produced by "git format-patch"?
Not without formatting it that way by hand; actually using git is
incomprehensible to my brain, sorry, and I don't want to take the time
to do it manually for two sentences. If it's not worth it to you
either, just ignore the patch. Life goes on.
... here, rather than have a generic "see next section", would be nice to
present the 'dist-hook' reference as an internal link
Yes, well, I considered that. "Would be nice" is in the eye of the
beholder. There are pros and cons either way. Do as you see fit.
best,
karl
