Elon Musk finalizes his purchase of Twitter.