Deprecate .editor.mini