WordPress plugin that generates a DOM element containing the table of contents for a long page