On Mon, 18 Sep 2017 22:17:38 +0200 Simon Marchi <simon.marchi@polymtl.ca> wrote: > My previous comments were mostly nits. I took a quick look, and it > LGTM. Thanks for looking it over again! Thanks too for all earlier reviews. They were very much appreciated! Kevin