Add a TOC of specification document