[jupyter_server.extension]
jupyterlab_codex = jupyterlab_codex.server_extension
