Follow-up commit: more ctrl.js to worker.js; serviceWorker.unregister() ...

...to unregisterServiceWorker()