On Tue, Nov 19, 2019 at 12:58:35AM +0000, Dmitry Bogatov wrote: > Seconded. So that was the 5th second, and I've pushed that to the webiste. Note that it's still the original proposal, Ian doesn't seem to have accepted Russ's change yet. Kurt