Electric Capital runs the numbers annually on where open-source crypto devs are building. Maria Shen, the Electric partner who leads that effort, says overall dev numbers are down but devs who've been around for over a year aren't going anywhere. So what are they up to? Is the Friend.Tech boom a clear sign that fun social apps will dominate in the near term?