[jupyterhub.custom_extensions]
jupyterhub_editor_extension = editor_extension
