Provide interactive tag-filtering for a single-web-page table of contents.