DiscoTOC non è un plugin, ma un componente del tema. Attualmente è installato in /admin/config/customize/components?
Se sì, potresti inviarci uno screenshot di ciò che stai vedendo?
Se no, installa il componente del tema facendo clic su questo:
Installa il componente del tema DiscoTOC