Request: Add more permanent display of errors
When running a tool results in an error (e.g. "beb.modest: Encountered temporal nondeterminism for τ."), it appears to only be shown as a pop-up; it does not appear in the "Problems" list, for example. The pop-up feels transient and is gone when I press Esc; it would be nice to have the last tool run's problems displayed in a list somewhere (like compiler errors), in addition to the pop-up.