<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<body>
<div dir="auto">
<div dir="auto">
<div dir="auto"><span style="font-family: sans-serif; font-size: 10pt;">On July 27, 2018 17:04:23 Marten van Kerkwijk <m.h.vankerkwijk@gmail.com> wrote:</span></div><div dir="auto"><br></div>
<div id="aqm-original" style="color: black;"><div class="aqm-original-body"><div style="color: black;">
<blockquote type="cite" class="gmail_quote" style="margin: 0 0 0 0.75ex; border-left: 1px solid #808080; padding-left: 0.75ex;">
<div dir="ltr"><div>My ideal version would be substantially shorter, maybe just quote the golden rule, but I am happy with the suggestion to just adapt this text.</div></div></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">Agreed! There's some basic ground that needs to be covered, though, and the result of exploring that fully is, practically, what you see here.</div><div dir="auto"><br></div><div dir="auto">I'm not opposed to modifying the document in principle, although I reckon it would be somewhat easier, from both a maintenance and adoption perspective, to use the same.</div><div dir="auto"><br></div><div dir="auto">Best regards, </div><div dir="auto">Stéfan </div>
</div>
</div></body>
</html>