ARCHIVED As it happened: Twitter’s IPO filing