I don't think we should build tables of contents that we'd have to maintain manually (also we're going to update the theme to include a per-page table of contents.)