On Fri, Jul 7, 2023 at 2:11 PM Miklosovic, Stefan <[email protected]> wrote: > > Yes, that is true, but the original, unfixed, output, is still there. Are we > OK with that?
When we have a serialized output available, we do whatever we like to the display output.
