Follow-up commit: more ctrl.js to worker.js; serviceWorker.unregister() to unregisterServiceWorker()
Merge pull request #149 from jungkees/explainerupdate

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