PLUGINS:  Made PLUGIN:init PLUGIN:caseinit PLUGIN:run PLUGIN:caseend and PLUGIN:end private

Plugins are activated using the (make-instance) function, hence no user-accessible functions are provided here.