Re-enable basic HTML tutorial TOC