Oh, yeah, that's probably because it only does it for certain browsers. But the code is in admincp/notice.php, around line 519 there's a comment that says "javascript to handle disabling elements for IE niceness" (I suppose it was written years ago and hasn't changed).