Feature Request: handle label switching in summary. Some ideas

Another place something similar is coming up, for which it would be nice to have some way to edit the traces or feed an array into the diagnostics:

If you have to stop a trace prematurely, then each chain will be of different length, and the summary function won’t work.