here: https://eclipse.dev/4diac/doc/other_features/replaydebugger.html <img width="996" height="574" alt="Image" src="https://github.com/user-attachments/assets/0562f58d-6d9e-4d2c-9655-c4d2259aadf7" />
here:
https://eclipse.dev/4diac/doc/other_features/replaydebugger.html