Other income (expense) - Narrative (Details) - USD ($) $ in Thousands |
3 Months Ended | 6 Months Ended | |||
|---|---|---|---|---|---|
Aug. 01, 2020 |
Jun. 30, 2026 |
Jun. 30, 2025 |
Jun. 30, 2026 |
Jun. 30, 2025 |
|
| Other Income (Expense) [Line Items] | |||||
| Other nonoperating income (less than) | $ 88 | $ 0 | $ 88 | $ 0 | |
| Purchase Agreement with DISH Wireless LLC | |||||
| Other Income (Expense) [Line Items] | |||||
| Purchase agreement, duration of monthly fees | 10 years | ||||