Fix broken editor.js prefetch

[fonsp]

In index.html there are a couple prefetch and prerender statements:

#1838

But this one was not working well in the bundled version:

Pluto.jl/frontend/index.html

Line 36 in 4599fc8

<link rel="prefetch" as="script" type="text/javascript" href="editor.js">

Parcel would take this as an entry point to bundle editor.js, but somehow it produces a different file than the one loaded in the bundled editor.html. This was producing an extra 1.5MB js file that was only prefetched in index.html, but never imported.

I tried some things to make the prefetch point to the correct import, but it didn't work.

The editor.html prerender should make sure that the correct JS asset gets prefetched.

[github-actions]

Try this Pull Request!

Open Julia and type:

julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/fonsp/Pluto.jl", rev="editor-js-prefetch")
julia> using Pluto