DiscoTOC no es un plugin, sino un componente de tema. ¿Está instalado actualmente en /admin/config/customize/components?
Si es así, ¿podrías enviar una captura de pantalla de lo que estás viendo?
Si no, instala el plugin haciendo clic aquí:
Instalar el componente de tema DiscoTOC