Add TOC to galaxy docs.