IPO | Reddit valued at US$6.4 billion