I take your point that it isn't literally modifying the html of the web page—but if it was, wouldn't the result look exactly like this? Visually, the banner does not look like a part of the browser chrome, Microsoft put it in the web page's space. That area belongs to the website, browsers aren't supposed to mess with it!