On Thu, 30 May 2019, Jonathan Wakely wrote: > I decided to make a few small changes, and ended up rewriting several > sections. Committed to trunk. Thank you! That also nicely addressed the changed URLs I had noticed. Gerald