So what is Reddit's CEO up to?