I'm not saying Redbean should serve files outside of the zip. The mini-apps would all be located inside the zip. When downloading a new mini-app, the Lua scrip

I'm not saying Redbean should serve files outside of the zip. The mini-apps would all be located inside the zip. When downloading a new mini-app, the Lua script would add it to the zip archive itself -- it can do this as far as I can tell.