Accounts receivable, net - Narrative (Details) - USD ($)	2 Months Ended	12 Months Ended
	Dec. 31, 2022	Dec. 31, 2023	Oct. 31, 2022	Oct. 31, 2021
Receivables [Abstract]
Accounts receivable, allowance for credit loss, current	$ 0	$ 0	$ 0	$ 0
Accounts receivable, credit loss expense (reversal)		0
Accounts receivable, allowance for credit loss, writeoff, excluding noncash portion	$ 0	$ 1,200,000	$ 0	$ 0