@mdo: the updated jekyll-toc version allows us specifying no_toc
for specific headers. Ideally, we should go through all docs and use this when needed instead of hiding the ToC entries via CSS. If you have some time, have a look since you might remember some of these places :)