except that microsoft has changed the user agent string for its browser significantly recently as is indeed mentioned on that very page if nt was no longer an actual designation surely it would have been removed along with those changes