tippos, link to repo
toc entry highlight threshold given
updated html