So what are the patents being claimed? I didn't see this in the article.
Based on the type of service that Reddit provides, there's almost no reasonable patent that they would have infringed from Nokia. So it could be something related to video compression/delivery, or some very vague social media feature that's commonplace but somehow patented.
https://www.sec.gov/Archives/edgar/data/1713445/000162828024...