{# Suppress the per-page table-of-contents in the sidebar; the nav above already lists everything. #}