Home networking broken
Sometime in the last 6 months, Windows10 stopped handling my home network correctly, refusing to see other PC on the network via their name (and sometimes even their IP address). Before anyone says anything please be aware that
1) My Linux PC still works properly.
2) My Raspberry Pis (plural) still work properly.
3) My Win7 HTPC still works correctly.
4) Both my Win10 laptop and PC have stopped working properly.
While it may not be possible for me to regress my Laptop, I still have an old Win7 Ultimate licence I can use to "upgrade" my Win10 PC to Win7.