DiscoTOC não é um plugin, mas sim um Componente de Tema. Ele está atualmente instalado em /admin/config/customize/components?
Se estiver, você poderia enviar um screenshot do que está vendo?
Se não estiver, instale o plugin clicando aqui:
Instalar o componente de tema DiscoTOC