>From Junio C Hamano, Sun 05 Apr 2020 at 14:57:22 (-0700) : > Why did you lose quotes around on-demand on this line? Shouldn't it > be typeset the same way as the other one in the sentence "Defaults > to ..."? Yes it should, sorry it's my mistake, I'll send a new version.