SmartSky sued Gogo in 2022 for patent infringement, alleging that Gogo’s 5G wireless network infringed several of SmartSky’s patents related to in- …