#4217 <https://github.com/leo-editor/leo-editor/issues/4217> Suggest removing the obsolete leo/docs/load-leo.html. That suggestion is uncontroversial.
A search revealed that the tools/webroot folder contained the same file with several supporting files. Imo, these files are an embarrassment. PR #4222 <https://github.com/leo-editor/leo-editor/pull/4222> removes the entire tools folder, moving several files to the attic. Please speak now if you think this is an unwise plan. 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 visit https://groups.google.com/d/msgid/leo-editor/d6a38ffa-6889-460b-a51a-ed89af642d88n%40googlegroups.com.
