Thanks and a question [was: svn commit: r677837 ]

[David Barnes]

Jean-Frederic,
Thank you for your guidance in how to submit doc
corrections, and thanks for the rapid turnaround.
I may submit more
edits in the future: was the format of my bug reports and patch files
correct?
I will gladly make any improvements you suggest.
Regards,
-David