Hygiene: Put TableOfContents in own file

Change-Id: Ie45747ec885e17775e30cb559756d1c489c407c0