Redpoint Ventures Reddit, It had US$4.