Reuben Thomas wrote: > Would it be good to say something about "by default", so that future > readers aren't confused as I was?
Comments are good. But we can't put all possible thoughts and considerations into comments. Readers can look up the mailing list discussion, based on the date of the commit. OTOH, you are always free to adjust comments, when you feel that it's worth it. Bruno