Ask HN: What is going to happen to all of Zynga's old office space?