EXTENSION_NAME

The name of the extension, namely of the DSL entry-point.