HI @supermathie, gracias por la respuesta.
cuando DiscoToC no está disponible
Sí, esa es la diferenciación. Creé el bookmarklet porque no estoy en posición de decidir qué “componente temático” instalar en el foro en el que suelo estar, y solo unas pocas personas escriben textos largos que necesitan un TOC.
¡Gracias @Lhc_fl, eso es muy útil!
Busqué en el repositorio de GitHub y encontré ese método. Consideraré desarrollarlo (solo) cuando tenga buen ancho de banda y vea mucha demanda para la función.
Sin embargo, si se puede agregar un componente temático a la comunidad, ya existe DiscoTOC como dijo @supermathie 