The Debian upgrade has been completed.  The shell server debian.eskimo.com is now “buster“, otherwise known as Debian 10.  It seems generally crisper.  I only had to sacrifice two programs to get it fully upgraded, eclipse an ide that wants jdk8, and buster is now jdk11, and a game, the name of which slips my mind now.