On Mon, 2019-12-30 at 18:21 +0000, Daniel Shahaf wrote: > Daniel Shahaf wrote on Mon, Dec 30, 2019 at 18:13:39 +0000: > > Here's a test. > > One more: Thanks; shall I commit my change? It looks like it ought to be local enough we can be reasonably confident it's well tested. pws