Sorry Berry, I was too busy enjoying Elm Europe. I offer my thanx for your kind words. If you were there, I would've bragged to your face all day long xD
But yeah, it's a client project, so the source is a top secret of a multi-national value.
About the PWA specific patterns, I would point out that they are not related to Elm. They are specific to the platform. But please don't think twice to ask anything specific about it. For example, for the toaster notifications we use Firebase Cloud Messaging. So as they come through, we just send them to the Elm app through port, from where, our custom toaster takes over:
navigator.serviceWorker.addEventListener('message', ({data}) => newNotificationPort.send(data));
Christian, we gonna make a joke out of the "Javascript Fatigue" aren't we.