DiscoTOC n’est pas un plugin, mais un composant de thème. Est-il actuellement installé dans /admin/config/customize/components ?
Si c’est le cas, pourriez-vous nous envoyer une capture d’écran de ce que vous voyez ?
Sinon, installez le plugin en cliquant ici :
Installer le composant de thème DiscoTOC