Use new OPTIONS_RADIO to select 0 or 1 of the web deployment options.
The old 'BUILTIN' PSGI web server option was and remains always
available independent of the web deployment option chosen.