Starting the technical HTML documentation