More generally, no plugin should change core options without admin user opt’in