[edgedb]
server-version = "4.0"