Doku-Updates
Doku zum Task-Server verbessert
Dokumentation zum Task-Server und Start-Scripte für ihn
HTML-Version von INSTALL.texi von multiplen Dateien auf eine Datei umgestellt