<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Thu, 18 Dec 2025 at 14:27, Zoltan Somogyi <<a href="mailto:zoltan.somogyi@runbox.com">zoltan.somogyi@runbox.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
On Thu, 18 Dec 2025 12:47:14 +1100, Peter Wang <<a href="mailto:novalazy@gmail.com" target="_blank">novalazy@gmail.com</a>> wrote:<br>
<br>
> On Thu, 18 Dec 2025 12:17:13 +1100 "Zoltan Somogyi" <<a href="mailto:zoltan.somogyi@runbox.com" target="_blank">zoltan.somogyi@runbox.com</a>> wrote:<br>
> > <br>
> > Peter, if you object to names such as READMES, do you have a proposal for a name<br>
> > that you like better?<br>
> > <br>
> <br>
> I mentioned "Documentation" which I think has these advantages<br>
> over both "READMES" and "guides":<br>
<br>
I agree with those advantages, and I am fine with calling the directory<br>
Documentation. Julien?<br></blockquote><div><br></div><div>Documentation is fine by me.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
By the way, does anyone intend to review the diff I posted a few hours ago,<br>
or should I just commit it now?<br></blockquote><div><br></div><div>I won't have time to look at it until this evening.  You can go ahead and commit</div><div>it if you like and I will review it post commit.</div><div><br></div><div>Julien.</div></div></div>