Making Table of Contents github-friendly.