`  ::::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?   `