Fons van der Plas

Hmm I see that this function was moved/copied to Base in https://github.com/JuliaLang/julia/pull/53403, so I would make a matching PR there. But I'll wait for feedback here before I continue :)

@IanButterworth Moved to https://github.com/JuliaLang/julia/pull/58887

I did some experiments here, and the big question in this issue is on the Julia side: Currently, we use `Docs.doc(binding)` to get documentation, but this just returns a `Markdown.MD`,...

Yes amazing! For stacktraces we are have this already implemented: https://github.com/fonsp/Pluto.jl/pull/2813 and we are working on supporting URLs for more methods in https://github.com/JuliaPluto/MethodURL.jl (see https://github.com/JuliaLang/julia/issues/47709)

Evaluating in trycatch and getting `methods` is a first step, the question is: `Docs.doc` gives all docs for a search string as one single `Markdown.MD` object. And this object often...

You can click on the filename (ends in `.jl`), but it does not always work because of https://github.com/JuliaLang/julia/issues/47709 (when it does not work you cannot click).

This can be fixed! And! The workspace cleaning could be made more general, and also clean up after code from another file. For example, when your `include`d script adds an...

Related, but not quite the same, is that right now you have to restart your workspace (i.e. restart Pluto) when you change a package and want to import it again....

Hm yes perhaps that's a good idea. Maybe it can be done [with the existing error rewriting mechanism](https://github.com/fonsp/Pluto.jl/blob/master/assets/editor.js#L874-L887) - give it a try if you like!

Hm I see, maybe you can replace `"LoadError: cannot assign a value to variable workspace"` with `"\n\nLoadError: cannot assign a value to variable workspace"` This would still show the original...