[HenrikAI]

IE7.com registrerades i mars 1999, och man kan nog anta att IE7 inte var ett registrerat eller väl inarbetat varumärke på den tiden (är osäker på om det ens är det nu).

Skulle hur som helst bli riktig halabaloo på domänmarknaden om man kunde hävda rätten till ett existerande domännamn efter det att man registrerat ett varumärke.