Thanks @rupert
I’m really glad to see this type of solution.
I wonder if your setup also supports routing from package.elm-lang.org so it could work even without mitm with something like custom DNS or simple entry in /etc/hosts file? I think that might seem to be slightly more user friendly for some users.
UPDATE: actually thinking about this more I think it might not be doable unless you would also have a cert for the domain (because of https) which you can’t have for obvious reasons.