Sorry, we failed to bringhtml-table-of-contents back.

This may have been caused by one of the following -

Thanks toDave Mott for the failwhale