Updated HTML with Closure (and some TOC updates)