Reddit's big first day, big CEO pay, and what comes next: Reddit IPO roundup