DoubleDown Interactive Co., Ltd. (DDI): financials from its own SEC filings