/* Optional theme-editor export. Intentionally contains no overrides. */