Hopper had layoffs in 2023 amid travel tech consolidation.