* Called when user presses the 'run-script' button or executes the run-script command.
()
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected