panel.append(builder.finalize());
document.querySelector('#od-col-subnav')?.prepend(panel);
const subnav = document.querySelector('#od-subnav-heading');
subnav!.innerHTML = 'Topics'; // TODO is it possible set subnav title properly?
Helper.log('TOC built');
// FIXME update TOC if scrolling through folder
https://api.github.com/groton-school/knowledgebase/blob/42637f4dbcc7452826f3effb9670a9080c1b650c/src/UI/TOC.ts#L16