Linear laid off some staff in 2023. Issue tracking startup streamlining.