Reddit IPO finally official; AI data harvesting deal was with Google