Regenerated HTML following recent change pertaining to table of contents.