Add HTML cover with TOC #1674