DiscoTOC is not a plugin, but a Theme Component. Is it currently installed at /admin/config/customize/components?
If it is, could you send a screenshot of what you’re seeing?
If not, install the plugin by clicking this:
Install the DiscoTOC theme component