>> Thomas: I think that either we should just remove the link, or think carefully about what it was intended to do.
> Me: Let me sleep on this The question seems moot. How many people have complained that the load-leo page didn't work? Assuming that hardly anyone ever visits the page, a plug for vscode.dev seems reasonable. I'm going to merge PR #3441 <https://github.com/leo-editor/leo-editor/pull/3441>. Let's move on. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/e968ccc6-6584-4981-9f4b-4f1f2e0ec8a1n%40googlegroups.com.
