Add a Table of Contents generator and use it for the download page.