Jeff King <peff@xxxxxxxx> writes: > I'd just as soon not have a rule. We have enough rules as it is, and I > don't think either is obvious enough that somebody who is used to one > style will get confused by the other. OK. I very much welcome one fewer paragraphs in the file ;-)