To XxXxX and MisterEd. Thank you again for your suggestions.
Following up on both your suggestions, I should explain my latest tests and failures. My HP shows and has always shown it has an IP address of ending in .68.57. In Settings, Printers, the HP shows connected to the WSD port with a long following string, see screen shot above. I can manually change the HP to an IP port and can then briefly print on the HP. However, after a while or on rebooting in the morning, the port choice will revert to the long WSD port and not print any more from my Lenovo until I again change to port to the IP.
Whatever the HP is set to in Settings, I can still connect to it in HP Smart and, for example, direct it to print a network test, which shows up as Passed.
Meanwhile, my wife has no problem printing to the HP from her Dell. Her Printer/Settings shows the port is the long WSD. It doesn't need to be changed to an IP port. I should add that the things of done on my Lenovo are not affected by whether my wife's Dell is turned on or not.
Note also that we use different VPNs. She uses Norton, I use Mozilla. Turning off Mozilla hasn't helped on my Lenovo. Nor could it explain why Windows keeps changing my printer port selection from the IP to the long WSD.
Both of us use the Norton Smart Firewall. Turning it off hasn't helped me and leaving it on hasn't stopped my wife's Dell from printing. Nor could it explain why Windows keeps changing my printer port selection from the IP to the long WSD.
Last point to repeat, both laptops are close to each other and connect to the same nearby Deco node for WiFi.