Are you excited for Portal 2? It’s out next Tuesday. Unlike its predecessor, it will boast a co-operative mode in addition to a single-player campaign. But there’s another “co-op” feature, and it’s not in-game. You may recall the details of cross-platform play between computers and PS3s from an announcement made…