On Sat, 19 May 2018, Rich Shepard wrote: > The last entry on that page is 72721. But, when I try to upgrade using > subversion I'm now told that my directory is at that revision number while > nothing is downloaded. I am checking out the repository. That will be the latest. Why upgrading failed -- twice -- I've no idea. Rich