tracnav (pypi): The Navigation Bar for Trac
Keywords: trac|toc|plugin