Well, I got it solved quite easily just now
Only things that changed?
1. my pc was on holidays too - meaning: different IP. Now it's back at home with the reserved IP address. Shouldn't be a problem, some ISPs keep changing the IP so...
2. a few days have passed and now the Windows 10 upgrade finally showed itself IN my microsoft update list... So maybe all I had to do was wait patiently... ;p
First impressions?
1. what the $#($& is it doing with my hard drive? System is slow and sluggish to respond (8GB, >700GB free disk, quad core)
2. GUI looks like it partially crashed... Don't really like it. Same for the size of the pinned icons in task bar: they are too small
3. I already had a lot of instances that the task bar did not seem to auto-hide... A nasty bug following me through the decades now seems to be a default feature. Let's see how that goes!
4. I think I'll get used to the start menu, though I really hope Handy Start Menu will integrate with Windows 10... Alphabet is cool, grouping is coolerder
Let's talk "peace" another day...?
Devvie