Ask HN: What happened to FaunaDB? Is anyone using it in production?