Remove frontend-dist and only use frontend-dist-offline? #3485
Description
If #2802 is working well, we could remove frontend-dist and only use frontend-dist-offline.
After the recent changes, frontend-dist is only used for:
- PlutoSliderServer
- uploading to plutoland
Maybe these could be done with the frontend-dist-offline dir, but without inlining into HTML? Seems like it would give similar performance.