Revenue - Performance obligations - Details (Details) - Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-01-01	Dec. 31, 2024
Revenue expected timing
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction	1 year
Percentage of remaining performance obligation expected to be recognized in period	54.80%
Minimum [Member]
Revenue expected timing
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction	12 months
Maximum [Member]
Revenue expected timing
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction	18 months