Right. Will modify my code and docs, then update the web site. Will probably add hashes on the web site at the same time.

Jon

On 29 April 2016 at 17:05, Paul Eggert <eggert@cs.ucla.edu> wrote:

Jon Skeet wrote:
> As one point I suspect we could all agree on: assuming there is to be a
> canonical format, should we use "\n" as the line separator?

Oh, yes.