Leases - Lease cost (Details) $ in Thousands	9 Months Ended
	Sep. 30, 2023 USD ($)
Leases
Operating lease cost	$ 766
Short-term lease cost	100
Variable lease cost	11
Total lease cost	877
Cash paid for amounts included in the measurement of operating lease liabilities	730
Right-of-use assets obtained in exchange for new operating lease liabilities	$ 378