... doch! :D
... doch, tat er!
Auf selbigem PC läuft übrigens seit heute (wieder) Windows 10, wobei das Update-Tool sich diesmal nicht – wie noch letztes Jahr, s. o. – an den Hardware-Anforderungen verschluckte. Und oh Wunder: Der UEFI-Eintrag des parallel installierten Linux blieb diesmal von Microsoft unangetastet! Brav(o), Redmond!