The why and how of building a local-first music app