Add HTML syntax section and part of semantics section