Those year-over-year growth rates notably exclude its mobile gaming business, which it sold to Tripledot Studios this July, ...