On Mon, 24 Apr 2023, Dave Horsfall wrote: > [ Disabling "+universal" ] > > Yes, that seems to be it; thanks. Now, is there a way to globally > disable "universal" without cleaning every port and rebuilding with > "-universal"? Anyone? -- Dave