TableOfContents GitHub Repository This directory contains a git-repository at GitHub of the Table-of-contents Chrome-Extension. Information on this repository you will find on the web-page of the repository.