Update toc.html from auto-generated version from JatsTagLibrary
Got search working again, element titles properly escaped