Tak jsem to nakonec vyřešil, a co je příznačné, naprosto lamoidně-primitivním způsobem, bez použití jakýchkoli restitučních programů.

Z registrů jsem odstranil větve Internet Exploreru a z adresářů Windows a jeho podadresářů \inf a \system32 všechny složky a soubory, začínající "ie" (ve vlastnostech zkontrolováno, zda se týkají Internet Exploreru).

Zjistil jsem totiž, že v rámci update bylo na PC několik neříkám instalací, ale složek s různými verzemi IE7. Zřejmě to chtělo nějak sjednotit, což se mi pravděpodobně povedlo.

Děkuji hlavně Kmochnovi za inspiraci s tím souborem ie.inf, tam jsem se odpíchl. Zjistil jsem totiž, že IE funguje i bez něj.

Předpokládám, že tahle invazivní metoda není úplně košer a že časem se projeví nějaké závady, ale momentálně mi IE funguje, což bylo účelem takto vyvolaného threadu.