Rename example8.3_TableofContents_revisited to example8_3_TableofContents_revisited