My Notes Should we document edgedb-server? Did not get to discuss; moved to EdgeDB team chat meeting 2023-05-10 to try again there Meeting Notes