"Options"-Zeile war fälschlicherweise in zwei Zeilen aufgeteilt
HTML-Version der Dokumentation in UTF-8 encodieren
Kleinere Dokumentationsupdates
doc/skr04-update-3804 nach DocBook gewandelt
Erzeugte PDF- und HTML-Varianten der Dokumentation