Working on Tickets page: Don't show all headers in table of content

Evaluate table of content to see which headers don't need to be shown. We can hide some using the {: .no_toc} CSS tag.