<div dir="ltr"><div class="gmail_default" style="font-family:georgia,serif;font-size:small;color:#330000">Arun,</div><div class="gmail_default" style="font-family:georgia,serif;font-size:small;color:#330000"><br></div><div class="gmail_default" style="font-family:georgia,serif;font-size:small;color:#330000">
Thanks again for your help. Some comments inline:</div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">
<div class=""><pre><code>You mention some FR's, but they're hard to find without the<div class="gmail_default" style="font-family:georgia,serif;font-size:small;color:rgb(51,0,0);display:inline">​​</div> specific numbers.
</code></pre>

</div><p>I was mentioning the first two points under <strong>NEW FEATURES</strong> within <code>Changes in v1.9.3</code>.</p></div></blockquote><div><div class="gmail_default" style="font-family:georgia,serif;font-size:small;color:rgb(51,0,0)">
​OK, thanks, I didn't realize that the ​bullets under New Features corresponded to individual Feature Requests -- though some of them mention FR's, not all do (and I assume that some are in response to bug reports rather than feature requests). I see you're numbering the points now, thanks!</div>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><p>You write: Where can I find the 1.9.3 reference manual?<br></p>

<p>This version is a development version. Necesary changes will be reflected in their corresponding <code>?...</code> entry. And when we find some time, the introduction and FAQs </p><div class="gmail_default" style="font-family:georgia,serif;font-size:small;color:rgb(51,0,0);display:inline">
​​</div>will be updated. But that’s not yet.<p></p></div></blockquote><div class="gmail_default" style="font-family:georgia,serif;font-size:small;color:rgb(51,0,0)">Good to know that the ? entries are updated; ​I was just hoping to find all of them in one PDF -- not create additional work for the developers!</div>
<div class="gmail_default" style="font-family:georgia,serif;font-size:small;color:rgb(51,0,0)"><br></div><div class="gmail_default" style="font-family:georgia,serif;font-size:small;color:rgb(51,0,0)">          -s</div></div>
</div></div>