Don is not wrong, but alas, also not completely right.
So yes, the (default) options are in the javascript file, but they are also set / overridden by the code in netweb.clw, NetWebServerWorkerBase.RedactorInit method.
Typically the JavaScript widgets have "options" - these are set when the widget is created. The copy in the JavaScript is used as a "default value" so the Clarion code does not have to set _all_ of them, only the ones that need it.
In this case the issue is somewhat more mechanical. The plugins themselves are not being loaded. I've fixed that for 11.33
Cheers
Bruce