Changes

Summary

1. merged
2. active jEdit actions;
3. more symbols;
4. clarified syntax;
5. updated;
6. some icons from Symbola font;
7. more latex symbols, notably for embedded ML;
8. uniform ML and document antiquotations;
9. proper completion of path cartouche (amending 5a7c919a4ada);
10. clarified error;
11. more uniform path syntax (like url);
12. liberal name as in document antiquotations;
13. tuned;
14. clarified antiquotations;
15. tuned error;
16. tuned whitespace;
17. suppress ASCII art;