| Sat, 30 Dec 2017 20:04:05 +0100 | wenzelm | more robust treatment of conflicts with existing Unicode text; | file | diff | annotate |
| Sun, 20 Aug 2017 14:03:23 +0200 | wenzelm | separate base plugin for important services that should be always available, despite startup errors of the main plugin; | file | diff | annotate | base |