reddit/reddit — pull request #628 by andre-d (2013-01-14 07:11:25+00:00)
Title: Wikitoc

This pull request replaces snudown table of content generation with python/soup

- Replaces terrible anchor links with header content based ones
- Fixes quirks with oddly ordered headers
- Fixes html in headers appearing as text in TOC