Finally taking the plunge, and upgrading following Dev1fanboy's howto on https://git.devuan.org/dev1fanboy/Upgrade-Install-Devuan/wikis/Upgrade-to-Devuan

Cheers,

Ron.
-- 
                      My karma just ran over your dogma.

                   -- http://www.olgiati-in-paraguay.org --