FYI: The push link in https://docs.datomic.com/ions-tutorial/push-and-deploy.html#invoke-push is a 404: https://docs.datomic.com/ions-tutorial/ions.html#how-push
push