Es wurde der Unterordner /docs eingerichtet, in dem html-Dateien künftig automatisch nach github gespiegelt und über GH-Pages direkt live geschaltet werden können.
