On Sat, 24 Aug 2019, Zoltan Somogyi wrote: > For review by anyone, but I would like both Julien and Peter to try this out > on the Mercury programs they work on. I have tried it out and have not encountered any problems. The diff looks fine. Julien.