[jupyter_server.serverextension]
hugr_connection_service = hugr_connection_service
