I doubted that "apt install"ing a .deb would actually work So I tried it with this new install, and it DOES work! Old dog, new tricks!