public dispose(): void {
        logger.debug("Disposing comment highlighter");

        const elements = document.querySelectorAll(".Comment");