| From: Paul Wouters <paul at nohats.ca> | On Sun, 14 Jun 2015, D. Hugh Redelmeier wrote: | I went over your results and they are good. Please push the code. OK. Working on that now.