<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 "printf-style<br>
formatting". 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 "old string formatting operations" so if this name is acceptable it should be reused. If it's not, it should then be consistently changed everywhere.<br>
<br>Eli<br><br></div>