Re: [PATCH v3 1/1] docs: highlight that .gitmodules does not support !command

Oops, this was supposed to go under <7090349c-4485-d5c4-1f26-190974864f72@imap.cc>..

Side question in this side thread: I was tempted to change the mention of "configuration variable" with "git-config variable", to highlight the narrow meaning of the term. But I grepped and that term is used everywhere in the documentation. Changing it only in this section would be inconsistent.

If I were to go through all those mentions and figure out which "configuration variable" mentions refer exclusively to `git-config`, wis there interest in changing them to something like "git-config variable" in a potential future patch? Or do we like the term "configuration variable"?