Add protocol spec to the new table of contents