[edgedb]
server-version = "5.3"