Return after removing the node, as there is no need to go futher in that case.

dpvc · dpvc · commit 3370290af94b · 2025-09-16T19:41:08.000-04:00
diff --git a/ts/a11y/explorer/Highlighter.ts b/ts/a11y/explorer/Highlighter.ts
@@ -470,6 +470,7 @@ class SvgHighlighter extends AbstractHighlighter {
     const previous = node.previousSibling as HTMLElement;
     if (node.hasAttribute('data-sre-highlighter-bbox')) {
       node.remove();
+      return;
     }
     node.removeAttribute('data-mjx-enclosed');
     if (previous && previous.hasAttribute('data-sre-highlighter-added')) {

Original file line number	Diff line number	Diff line change
`@@ -470,6 +470,7 @@ class SvgHighlighter extends AbstractHighlighter {`
`470`	`470`	`const previous = node.previousSibling as HTMLElement;`
`471`	`471`	`if (node.hasAttribute('data-sre-highlighter-bbox')) {`
`472`	`472`	`node.remove();`
	`473`	`+ return;`
`473`	`474`	`}`
`474`	`475`	`node.removeAttribute('data-mjx-enclosed');`
`475`	`476`	`if (previous && previous.hasAttribute('data-sre-highlighter-added')) {`