Added TOC. Minor tweak to @MirrorsUsed section.