<div dir="ltr">Right. Will modify my code and docs, then update the web site. Will probably add hashes on the web site at the same time.<div><br></div><div>Jon</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On 29 April 2016 at 17:05, Paul Eggert <span dir="ltr"><<a href="mailto:eggert@cs.ucla.edu" target="_blank">eggert@cs.ucla.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Jon Skeet wrote:<br>
> As one point I suspect we could all agree on: assuming there is to be a<br>
> canonical format, should we use "\n" as the line separator?<br>
<br>
</span>Oh, yes.<br>
<br>
</blockquote></div><br></div>