Its safe to always hide wkToc