Court documents confirm that Twitter is already a company under X Corp.