On Sun, 16 Aug 2020, D. Hugh Redelmeier wrote: > > The testsuite seems to report a bunch of errors. > Could folks fix the ones that they are responsible for? Mostly my fault. It has taken longer than expected to resolve these, partially due to my home network router failures. I will try and resolve these in the next few days. Paul