So recently while at my grandparents house (who don't have internet) I thought "Why don't I play Portal, for old times sake". So I tried starting it up and a notification came up saying we want to update this game to a more efficient version (Mind you this was only last week and it has never come up before then!). So when I got home I downloaded the update which was a HUGE 2.3Gb (That's big on my internet speed XD) and started playing, but absolutely NOTHING was different. Can't find any patch notes or anything. If anyone knows what this is about please reply!