<div dir="ltr"><br>
<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">It would be nice to call it something else than &quot;printf-style<br>
formatting&quot;. While it is certainly modelled on printf(), knowledge of C<br>
or printf is not required to understand %-style formatting, nor even to<br>
appreciate it.<br></blockquote></div><br>+1. The section is already titled &quot;old string formatting operations&quot; so if this name is acceptable it should be reused. If it&#39;s not, it should then be consistently changed everywhere.<br>

<br>Eli<br><br></div>