City Pocket update server — see _worker.js and scripts/tools/publish-update.mjs