Much formatting, adding many new sections. Will generate HTML again soon...