<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class="">This link might work better:</div>
<a href="https://docs.google.com/document/d/1gn-a__mTz3S7qds7m7TFT78m-bdqUTyreahsJIhNauI/edit?usp=sharing" class="">https://docs.google.com/document/d/1gn-a__mTz3S7qds7m7TFT78m-bdqUTyreahsJIhNauI/edit?usp=sharing</a>
<div class=""><br class="">
</div>
<div class="">David: can you add it on the wiki?</div>
<div class=""><br class="">
</div>
<div class="">K.</div>
</body>
</html>